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

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

magic-trace collects and displays high-resolution traces of what a process is doing

Unison file synchronizer

A language that compiles to Bash and Windows Batch

MirageOS is a library operating system that constructs unikernels

Pack JS code fast & easy

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

A language server for reason, in reason

A compile time transformation from JavaScript to OCaml, along with an OCaml implementation of the JavaScript builtin library.

🔎🐞 A language-agnostic linting platform

Implementation of Raft consensus algorithm