An incomplete list of projects I’ve worked on, where project is something with a git repository.
Opam's Nix system dependency mechanism 25 Apr 2025 Eon 21 Apr 2025 A programmable nameserver Enki 21 Apr 2025 A universal dependency solver Eilean 21 Apr 2025 Self-hosted digital islands Caledonia 21 Apr 2025 Command-line and Emacs Calendar Client Hillingar 14 Dec 2022 MirageOS Unikernels on NixOS Nim 30 Aug 2022 ILNP Interface 16 Oct 2021 Cubes 3 Jun 2021 Network layer mobility 10 May 2021 An Identifier-Locator addressing split.