Dima Szamozvancev

mezzo. A Haskell library for typesafe music composition

agda-soas. Agda formalisation of second-order abstract syntax

temporal-type-systems. Formalisation of a temporal type system in Agda

mastermind. A simple Haskell implementation of the Mastermind game

thodo. A simple command-line to-do list tool