The core OCaml system: compilers, runtime system, base libraries
An OCaml kernel for Jupyter (IPython) notebook
opam is a source-based package manager
Lightweight static analysis for many languages
Frame profiler
Context sensitive completion for OCaml in Vim and Emacs
Capstone disassembly/disassembler framework
Tidy, feature-complete Web framework
MirageOS is a library operating system that constructs unikernels
Irmin is a distributed database
Mina is a new cryptocurrency with a constant size blockchain
FUSE filesystem over Google Drive
The compiler for ReScript
Performant type-checking for python
A static type checker for JavaScript
FSharp source code formatter
The Universal Plug-in System. Extend anything with WebAssembly
Binary Analysis Platform
A code generator for connecting C/C++ with other programming languages
Program for topological degree calculation.
Functional language for building type-safe applications
Generates random text based on context-free grammars defined in BNF
Faster, simpler and more portable implementation of `jq` in Reason