Liam O'Connor

learn-you-an-agda. Learn you an Agda (and achieve enlightenment)

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

patches-vector. A library for patches (diffs) on vectors: composable, mergeable and invertible

dixi. A wiki based on firm theoretical foundations

wizards. High level, generic library for interrogative user interfaces in Haskell

hilbert. An intensely interactive, graphical theorem prover based on natural deduction

desktop_games. a collection of desktop games written in rust

dddp. Deferring the Details and Deriving Programs

cardputer_minigames. Minigames for the M5Stack Cardputer, written in rust

agda-snippets. Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.

composition-tree. Composition trees for arbitrary monoids.

tesserae. A library for manipulating 8x8 2-color tile graphics in the spirit of 8-bit text mode drawing.

pongell. crappy pong clone written in haskell

outside-in. Formalisation of The GHC Team's OutsideIn(X) in Agda.

gentzen. A beginner's theorem prover

holbert-ng. the next generation of the holbert proof assistant

me-em. Model Examples, Example Models

opardum-server. operational transforms based collaborative editing server written all in literate haskell

tea-hs. 2d game creation library for Haskell

liamoc.net. my gnu-make-powered website

forester-nova. nova plugins for forester

spacemacs-agda. A little agda layer for spacemacs

standard. Sphere Standard Engine

6502_mep. Micro Entertainment Pack games for 6502 systems

pl-course-book. A book based on course notes written over the years for a UNSW PL course

rust-tetris. A small tetris clone in Rust

gameupdater_client. Client for GameUpdater

sprig-hs. SDL Primitive Generator bindings to Haskell

gameupdater_server. Server for GameUpdater

generators. composable monadic random value generators

forest. Forest

sfont-hs. Haskell port of the SFont Library

forest-theme. my theme for forester

pretty-show-ansi-wl. Pretty-show, but for ansi-wl-pprint

elm-redex. An 8-hour project, writing an interactive untyped lambda calculus interpreter/rewriter in elm.

botz-rs. a port of Kevin Laity's classic physics toy to Rust and egui

rescript-nova. Nova plugin for Rescript

cogent. Proof-Code co-generation