Context sensitive completion for OCaml in Vim and Emacs
the core 0install package
opam is a source-based package manager
A static type checker for JavaScript
Lightweight static analysis for many languages
An OCaml kernel for Jupyter (IPython) notebook
Irmin is a distributed database
MirageOS is a library operating system that constructs unikernels
Parser combinators built for speed and memory efficiency
Performant type-checking for python
FUSE filesystem over Google Drive
magic-trace collects and displays high-resolution traces
Tidy, feature-complete Web framework
Mina is a new cryptocurrency with a constant size blockchain
Program for topological degree calculation.
Generates random text based on context-free grammars defined in BNF
A collection of machine-checkend mathematical proofs
Connect processes into powerful data pipelines