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

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

Programming Languages Zoo

Sinatra like web toolkit for OCaml

Concurrent Programming with Effect Handlers

Faster, simpler and more portable implementation of `jq` in OCaml

A modern supercompiler for call-by-value functional languages

Functional HTML scraping and rewriting with CSS in OCaml

BINSEC binary-level open-source platform

Tutorial on Multicore OCaml parallel programming with domainslib

A static parser for POSIX Shell

OCaml interpreter

Gosling emacs from early 1980s

concatenative array language inspired by kdb/+q

Small Scheme interpreter and compiler

Pack file encoder/decoder in OCaml