Pinned Repositories
cogent
Cogent Project
6502_mep
Micro Entertainment Pack games for 6502 systems
desktop_games
a collection of desktop games written in rust
dixi
A wiki based on firm theoretical foundations
holbert
A graphical interactive proof assistant designed for education
latex-formulae
Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
learn-you-an-agda
Learn you an Agda (and achieve enlightenment)
patches-vector
A library for patches (diffs) on vectors: composable, mergeable and invertible
wizards
High level, generic library for interrogative user interfaces in Haskell
specstrom
A new specification language for Quickstrom
liamoc's Repositories
liamoc/hilbert
An intensely interactive, graphical theorem prover based on natural deduction
liamoc/pongell
crappy pong clone written in haskell
liamoc/gentzen
A beginner's theorem prover
liamoc/outside-in
Formalisation of The GHC Team's OutsideIn(X) in Agda.
liamoc/opardum-server
operational transforms based collaborative editing server written all in literate haskell
liamoc/tea-hs
2d game creation library for Haskell
liamoc/spacemacs-agda
A little agda layer for spacemacs
liamoc/standard
Sphere Standard Engine
liamoc/pl-course-book
A book based on course notes written over the years for a UNSW PL course
liamoc/elm-redex
An 8-hour project, writing an interactive untyped lambda calculus interpreter/rewriter in elm.
liamoc/gameupdater_client
Client for GameUpdater
liamoc/gameupdater_server
Server for GameUpdater
liamoc/generators
composable monadic random value generators
liamoc/sfont-hs
Haskell port of the SFont Library
liamoc/sprig-hs
SDL Primitive Generator bindings to Haskell
liamoc/geordi
Well-typed, minimalist web-framework for GHC Haskell
liamoc/emuwire
sshh