A static analyzer for Java, C, C++, and Objective-C

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

Performant type-checking for python.

The core OCaml system: compilers, runtime system, base libraries

MirageOS is a library operating system that constructs unikernels

Tools for code analysis, visualizations, or style-preserving source transformation.

Irmin is a distributed database that follows the same design principles as Git

🍬 a functional language for building type-safe, scalable, and maintainable applications

Parser combinators built for speed and memory efficiency

Adds Reason to the browser

TLS in pure OCaml

A DNS server that automatically starts unikernels on demand

OCaml library for reading, writing and modifying PDF files