OCaml
367 items from ocaml-community/awesome-ocaml ★3,124
-
glMLite github.com
-
ghim github.com
-
ocp-index-top github.com
-
MQTT github.com
-
ocaml-esp32 github.com
-
-
ocaml-cuid github.com
-
ocaml-main-program-in-c github.com
-
Validate github.com
-
ForkWork github.com
-
Uucd github.com
-
mysql_protocol github.com
-
sqids-ocaml github.com
-
TestSimple github.com
-
RunOrg github.com
-
ocephes github.com
-
Sublime text package github.com
-
commonjs_of_ocaml github.com
-
nocoiner github.com
-
charrua-unix github.com
-
dokeysto github.com
-
OCaml@p github.com
-
Notty github.com
-
atdjs github.com
-
makorel github.com
-
learn-ocaml.el github.com
-
fluent-logger github.com
-
Volt github.com
-
onumerical github.com
-
Mongo.ml massd.github.io
-
Haxe Programming Language haxe.org
Produce cross-platform native code. [GitHub]
-
Hack Programming Language hacklang.org
-
Menhir gallium.inria.fr
Parser generator that can output Coq code for verified parsers.
-
Gagallium gallium.inria.fr
-
Frama-C frama-c.com
A sound and extensible static analyzer for C code.
-
-
University of Illinois courses.engr.illinois.edu
-
Coq coq.inria.fr
-
Compcert C Compiler compcert.inria.fr
High-assurance compiler for almost all of the C language (ISO C99), generating efficient code for the PowerPC, ARM, RISC-V and x86 processors.
-
ReScript rescript-lang.org
-
Js_of_ocaml ocsigen.org
-
OCaml-Java ocamljava.org
Supports OCaml language v4. Generates plain Java bytecode and have seamless integration with Java.
-
ppx_monad github.com
-
puml2xml github.com
-
Xen – OCaml Coding Considerations wiki.xen.org
-
XEN – OCaml Best Practices for Developers wiki.xen.org
-
Why3 why3.lri.fr
-
WHIZARD whizard.hepforge.org
-
A Guide to Extension Points in OCaml whitequark.org
-
Parallelism programming v2.ocaml.org
- next page of items loading…
