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