Old-school audio player with decent music library management

Mathematical plotting library for ocaml

Continuous Unix commit history from 1970 until today

I am documenting my search for, and preservation of, Eiichi Goto's 1974 work "Monocopy and Associative Algorithms in an Extended Lisp"

A hash set and hash map library for OCaml

Contract-LIB proposal and tool-chain

an arithmetic library for OCaml’s native integers

Original source code of Sierra On-Line's AGI adventure game interpreter. Found in the unused parts of original game disks!

A simple scheduler for OCaml 5

Seamless bug-finding for C, C++, Rust, Wasm and Zig

Translation tool that converts Gospel Specifications into CFML.

HCERES style for pandoc

Advent of Code in OCaml

Streamlining the release of dune packages to opam

Implementations in OCaml of various abstract machines

A derivation explorer and logger for menhir parser

Python package to autocomplete bibtex bibliographies

The core OCaml system: compilers, runtime system, base libraries

A Forth implementation on a virtual machine ran by Python

Compiler from OCaml to AnerisLang

A why3 certified prover for propositional logic

Programming language for literate programming law specification

Runtime assertion checking based on Gospel specifications

Companion Coq development for Xavier Leroy's 2021 lectures on program logics

Formalisation of a capability machine and principles for reasoning about security properties

A composable build system for OCaml.

A Deductive Verification Tool for OCaml Programs