Trending in open source
See what the GitHub community is most excited about today.
Sign up for free to get started
-
bloomberg / bucklescript
A backend for the OCaml compiler which emits JavaScript.
OCaml • 11 stars today • Built by
-
facebook / infer
A static analyzer for Java, C and Objective-C
OCaml • 10 stars today • Built by
-
facebook / flow
Adds static typing to JavaScript to improve developer productivity and code quality.
OCaml • 7 stars today • Built by
-
ocsigen / lwt
A cooperative threads library for OCaml.
OCaml • Built by
-
ocaml-batteries-team / batteries-included
Batteries Included project
OCaml • Built by
-
chenglou / BetterErrors
Make OCaml Errors Great Again.
OCaml • Built by
-
geneanet / geneweb
GeneWeb is a genealogy software with a web interface created by Daniel de Rauglaudre. It can be installed locally on a stand-alone machine and on any web server.
OCaml • Built by
-
facebook / pfff
Tools for code analysis, visualizations, or style-preserving source transformation.
OCaml • Built by
-
BYVoid / Batsh
A language that compiles to Bash and Windows Batch
OCaml • Built by
-
MLstate / opalang
The Opa Language for Web Application Development
OCaml • Built by
-
tomprimozic / type-systems
Implementations of various type systems in OCaml.
OCaml • Built by
-
astrada / google-drive-ocamlfuse
FUSE filesystem over Google Drive
OCaml • Built by
-
ocaml / ocaml
The core OCaml system: compilers, runtime system, base libraries
OCaml • Built by
-
mirage / mirage
MirageOS is a library operating system that constructs unikernels
OCaml • Built by
-
artagnon / rhine-ml
a lisp - a simple OCaml compiler using the LLVM bindings
OCaml • Built by
-
FStarLang / FStar
An ML-like language with a type system for program verification
OCaml • Built by
-
mirage / irmin
Irmin is a distributed database that follows the same design principles as Git
OCaml • Built by
-
ocaml / opam
OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
OCaml • Built by
-
coq / coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
OCaml • Built by
-
the-lambda-church / merlin
Context sensitive completion for OCaml in Vim and Emacs
OCaml • Built by
-
janestreet / core
Jane Street Capital's standard library overlay
OCaml • Built by
-
mahsu / MariOCaml
HTML 5 canvas implementation of Mario written in Ocaml
OCaml • Built by
-
WebAssembly / spec
Staging ground for artifacts related to an MVP spec
OCaml • Built by
-
matijapretnar / eff
A functional programming language based on algebraic effects and their handlers.
OCaml • Built by
-
ocsigen / js_of_ocaml
Compiler from OCaml to Javascript.
OCaml • Built by
