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/learn-you-an-agda
Learn you an Agda (and achieve enlightenment)
liamoc/holbert
A graphical interactive proof assistant designed for education
liamoc/latex-formulae
Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
liamoc/patches-vector
A library for patches (diffs) on vectors: composable, mergeable and invertible
liamoc/dixi
A wiki based on firm theoretical foundations
liamoc/wizards
High level, generic library for interrogative user interfaces in Haskell
liamoc/desktop_games
a collection of desktop games written in rust
liamoc/dddp
Deferring the Details and Deriving Programs
liamoc/agda-snippets
Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
liamoc/cardputer_minigames
Minigames for the M5Stack Cardputer, written in rust
liamoc/composition-tree
Composition trees for arbitrary monoids.
liamoc/tesserae
A library for manipulating 8x8 2-color tile graphics in the spirit of 8-bit text mode drawing.
liamoc/me-em
Model Examples, Example Models
liamoc/liamoc.net
my gnu-make-powered website
liamoc/6502_mep
Micro Entertainment Pack games for 6502 systems
liamoc/botz-rs
a port of Kevin Laity's classic physics toy to Rust and egui
liamoc/pretty-show-ansi-wl
Pretty-show, but for ansi-wl-pprint
liamoc/cogent
Proof-Code co-generation
liamoc/rust-tetris
A small tetris clone in Rust
liamoc/agda
Agda is a dependently typed programming language / interactive theorem prover.
liamoc/agda-stdlib
The Agda standard library
liamoc/ASinE
A study in equalities
liamoc/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
liamoc/dset
Small, decidable sets in Agda, with nice equational reasoning.
liamoc/haskell-memoization-utils
Utilities for memoizing haskell functions
liamoc/icfp2016-papers
Link to preprints for ICFP'16 and co-located events
liamoc/linklater
A Haskell library for the Slack API (including real-time messaging!)
liamoc/micropolis-rs
The classic Micropolis (Sim City 1) game rewritten in Rust, with WebAssembly support.
liamoc/stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
liamoc/structs
Agda library for structurally-typed records.