facebook / reason
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

See what the GitHub community is most excited about today.
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
Bolt is a language with in-built data-race freedom!
FUSE filesystem over Google Drive
Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects null pointer dereferences and resource leak.
The core OCaml system: compilers, runtime system, base libraries
Multicore OCaml
The compiler for ReScript.
Unison file synchronizer
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.
Performant type-checking for python.
Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
Audio and video streaming language