These are some of the projects in which I have been involved. Contributions are briefly described in italics.
hemma: Weather-station-like display for weather forecasts and Västtrafik bus arrivals (Western Sweden).
is: Generation of predicate functions with TH or generics (Haskell).
agda: Dependently-typed proof assistant (Haskell). Contributed infrastructure for supporting several literate programming formats.
fire: Collection and grading of student labs (Python, CoffeeScript/JS, Less/CSS) Markdown support, bug fixes
limestone: Linear logic for composable numerical computation (proof of concept) (Haskell, C). Code generation backend and sequential arrays.
email_message: Parsing of e-mail messages (OCaml). Original author