Kohai is a very simple (but opinionated) timetracker for my personal usage

GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.

directories is an OCaml library that provides configuration, cache and data paths (and more!) following the suitable conventions on Linux, macOS and Windows. The following conventions are used: XDG…

implmentation of x-maintenance-intent

Applying LRGrep to OCaml frontend

Static analysis framework for C

experiments on distributed unikernels

A ppx deriver for Jsont descriptions

Interleaved client/server code extraction

A Boulder Dash clone in OCaml

A simple cache system for mmap in OCaml

a tool for reinterpreting ELF executables and shared libraries

A stub DNS resolver MirageOS unikernel

An OCaml mutation tester

Reactive signals for OCaml.

A command line program to show a table of timezones

Key deriving functions in OCaml

A collection of program to edit and view TSV (Tab-separated values) files

A simple KV-store

Lightweight CLI download accelerator

An Earley parser engine in Rust.

A statically generated webring with YOCaml, because we love small-web

The specification we developed while working on MirageVPN