• Home
• Publications
• Talks
• Software
  • Nix
  • Maak
  • AEFS

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.