liamoc/emuwire
sshh
Developer Profile
liamoc
Discovered public repositories for liamoc in the GitHub catalog.
liamoc/gentzen
A beginner's theorem prover
liamoc/hilbert
An intensely interactive, graphical theorem prover based on natural deduction
liamoc/geordi
Well-typed, minimalist web-framework for GHC Haskell
liamoc/outside-in
Formalisation of The GHC Team's OutsideIn(X) in Agda.
liamoc/wizards
High level, generic library for interrogative user interfaces in Haskell
liamoc/learn-you-an-agda
Learn you an Agda (and achieve enlightenment)
liamoc/opardum-server
operational transforms based collaborative editing server written all in literate haskell
liamoc/generators
composable monadic random value generators
liamoc/tea-hs
2d game creation library for Haskell
liamoc/sfont-hs
Haskell port of the SFont Library
liamoc/sprig-hs
SDL Primitive Generator bindings to Haskell
liamoc/pongell
crappy pong clone written in haskell
liamoc/gameupdater_server
Server for GameUpdater
liamoc/gameupdater_client
Client for GameUpdater
liamoc/standard
Sphere Standard Engine