Projects
These are some of the projects in which I have been involved. Contributions are briefly described in italics.
(Co)author
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).
coq_course: A short course about the Coq proof assistant based on the Software Foundations book. Coorganizer
Contributor
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.
free: Fun with free monads (Haskell). Documentation, extra instances and equational proofs.
email_message: Parsing of e-mail messages (OCaml). Original author