Brad Hardy

traitcast. Cast between dynamic trait objects

agda-holes. Agda programming with holes

robo-monad. Heavily inspired by RoboCode. Program robots in Haskell and watch them fight.

streaming-png. Perfectly streaming PNG image decoding.

language-verification. Haskell

modelcheck. Model checking algorithms for logics over transition systems

twos-ai. Scala

battlebots. Programmable robot battle simulator