Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

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

Unison file synchronizer

Programming language for literate programming law specification

A composable build system for OCaml.

Implementations of various type systems in OCaml.

Programming Languages Zoo

Owl - OCaml Scientific Computing @ https://ocaml.xyz

A library for incremental computations

A functional programming language based on algebraic effect handlers

An engine for displaying slips, the next-gen version of slides

HTML 5 canvas implementation of Mario written in Ocaml

moved from https://sourceforge.net/p/min-caml/code/

a little game

OCaml graph library

Prototyping the UI of 2030

Lwt Translations of the Async Code Examples in Real World OCaml

A toy implementation of the bitcoin protocol in ocaml.