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
-
Pac 21 Apr. 2025A universal dependency solver
-
Eon 21 Apr. 2025A programmable nameserver
-
Eilean 21 Apr. 2025Self-hosted digital islands
-
Caledonia 21 Apr. 2025Command-line and Emacs Calendar Client
-
Hillingar 14 Dec. 2022MirageOS Unikernels on NixOS
-
Nim 30 Aug. 2022
-
ILNP Interface 16 Oct. 2021
-
Cubes 3 Jun. 2021
-
Network layer mobility 10 May. 2021An Identifier-Locator addressing split.