Software
I have written some software, including but not limited to:
- Nix is a purely functional package manager, developed as part of my PhD research. Forget about RPM, Gentoo, APT, etc., this is the future ;-).
- NixOS is a Linux distribution based on Nix.
- Maak is an integrated build and deployment system.
- mod_haskell enables you to write Apache modules in Haskell.
- RhoStratego is a functional language supporting first-class rules and generic traversal. For my master's thesis I implemented a compiler for this language.
- AEFS is a cryptographic filesystem.
This page was last updated on 2009-01-19 at 10:23:43Z (revision 214).