11 open source projects by stedolan

Prototype type inference engine

Property fuzzing for OCaml

Staged metaprogramming in stock OCaml

Command-line JSON processor

Malfunctional Programming

safe FFI between OCaml and Rust (experimental)

Experimental Malfunction backend for Idris

A brainfuck compiler, written in sed

easy-to-use wrapper for OCaml's Dynlink

Counterexamples in Type Systems

A tiny and surprisingly featureful webserver