Trending
See what the GitHub community is most excited about today.
-
Adds static typing to JavaScript to improve developer productivity and code quality.
-
Pack JS code fast & easy
-
The Felix Programming Language
-
A language server for reason, in reason
-
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
-
Jane Street's standard library overlay (kernel)
-
Auto-formatter for OCaml code
-
KreMLin is a tool for extracting low-level F* programs to readable C code
-
A static analyzer for Java, C, C++, and Objective-C
-
A backend for the OCaml compiler which emits JavaScript.
-
A language that compiles to Bash and Windows Batch
-
Tools for code analysis, visualizations, or style-preserving source transformation.
-
FUSE filesystem over Google Drive
-
The core OCaml system: compilers, runtime system, base libraries
-
Performant type-checking for python.
-
Reason bindings for ReactJS
-
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.
-
Verification system for effectful programs
-
A self-amending cryptographic ledger
-
The Opa Language for Web Application Development
-
Implementations of various type systems in OCaml.
-
MirageOS is a library operating system that constructs unikernels
-
Context sensitive completion for OCaml in Vim and Emacs
-
Irmin is a distributed database that follows the same design principles as Git
-
Connect processes into powerful data pipelines with a simple git-like filesystem interface
