Awesome Open Source

Programming Languages

Search results for ocaml cygwin

15 search results found

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

Mitls Fstar ⭐ 169

Verified implementation of TLS 1.3 in F*

Ocaml Installer ⭐ 64

The official windows installer (built using NSIS) for OCaml

Ocaml Top ⭐ 61

A simple cross-platform OCaml code editor built for top-level evaluation.

Ocpwin Distrib ⭐ 33

Knowledge Database for OCamlPro's version of OCaml on Windows

A domain-specific language that allows the expression or protein interactions that can be used to build executable models.

Waterproof ⭐ 17

Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.

Esy Bash ⭐ 12

Installation utilities for Cygwin - primed for Reason/OCaml

Ocamhaxe ⭐ 11

OCaml distribution for Haxe compilation

Jstar Old ⭐ 10

jStar is a verification tool based on separation logic.

Msvs Tools ⭐ 9

Microsoft Visual Studio Helper Scripts (OCaml)

Ocaml Qbf ⭐ 9

OCaml bindings to QBF solver(s)

Ocaml Windows Bootstrap ⭐ 7

Metakappa ⭐ 7

A meta-language for Kappa generation that allows the creation of protein hierarchies and the concise representation of protein-interaction rules. These structures can then be expanded into Kappa.

OCaml binaries for all the platforms

Related Searches

Ocaml Reasonml (475)

Bindings Ocaml (428)

Ocaml Reason (394)

Ocaml Bucklescript (320)

Shell Cygwin (304)

Types Ocaml (294)

Language Ocaml (289)

C Plus Plus Cygwin (287)

1-15 of 15 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.