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.