Here you can find information about my engagements with Linux, and about software I package for Linux, especially for Arch Linux. If you have any questions, please contact me at You can also find me on the Arch Linux Forums.

Arch Linux Packages

I maintain a few unofficial software packages for Arch Linux, including a package for the CompCert verified C compiler, and the SML# programming language and compiler. The PKGBUILDs can be found on the Arch User Repository (AUR). You can see a list of all packages I maintain here.

I also maintain an unofficial repository of pre-built1 AUR packages at, mainly of interest to functional programmers and formal methods practitioners. You should follow the instructions on the Arch Wiki, and add the following to your pacman.conf:

Server =

You will also need to add my key to the pacman keyring and sign it:

# pacman-key --recv-keys 6E06FBC8
# pacman-key --lsign-key 6E06FBC8

1: my compilation flags are a bit more aggressive that the defaults set by Arch, but they should be completely safe. To be more specific, I use -O3 -fomit-frame-pointer instead of -O2 which is the default.