Software
-
Irmin and Index and kv-hash
Projects at OCamlLabs/Tarides (2021-2022). -
GitHub repositories
Most of my software is stored on GitHub. -
Netsem
The Netsem TCP/IP specification -
Ott
"Ott is a tool for writing definitions of programming languages and calculi." -
Lem
"Lem is a lightweight tool for writing, managing, and publishing large scale semantic definitions." -
Verified theorem prover
At the archive of formal proofs. -
Various Isabelle/HOL formalizations
At the archive of formal proofs.