Trending in open source
See what the GitHub community is most excited about today.
Sign up for free to get started
-
facebook / flow
Adds static typing to JavaScript to improve developer productivity and code quality.
-
facebook / infer
A static analyzer for Java, C and Objective-C
-
astrada / google-drive-ocamlfuse
FUSE filesystem over Google Drive
-
ocaml / opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
-
facebook / pfff
Tools for code analysis, visualizations, or style-preserving source transformation.
-
BYVoid / Batsh
A language that compiles to Bash and Windows Batch
-
MLstate / opalang
The Opa Language for Web Application Development
-
tomprimozic / type-systems
Implementations of various type systems in OCaml.
-
ocaml / ocaml
The core OCaml system: compilers, runtime system, base libraries
-
mirage / mirage
MirageOS is a library operating system that constructs unikernels
-
artagnon / rhine-ml
a clojure-inspired language on llvm
-
mirage / irmin
Irmin is a distributed database that follows the same design principles as Git
-
FStarLang / FStar
An ML-like language with a type system for program verification
-
bloomberg / bucklescript
A backend for the OCaml compiler which emits JavaScript.
-
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.
-
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.
-
the-lambda-church / merlin
Context sensitive completion for OCaml in Vim and Emacs
-
janestreet / core
Jane Street Capital's standard library overlay
-
mahsu / MariOCaml
HTML 5 canvas implementation of Mario written in Ocaml
-
WebAssembly / spec
Staging ground for artifacts related to an MVP spec
-
matijapretnar / eff
A functional programming language based on algebraic effects and their handlers.
-
ocaml-batteries-team / batteries-included
Batteries Included project
-
pikatchu / LinearML
Functional language for parallel programming
-
ocsigen / js_of_ocaml
Compiler from OCaml to Javascript.
-
diml / utop
Universal toplevel for OCaml