liamoc

Senior Lecturer

Australian National UniversityCanberra

Pinned Repositories

cogent
Cogent Project
Language:Isabelle157 22 27826
6502_mep
Micro Entertainment Pack games for 6502 systems
Language:Assembly2 4 01
desktop_games
a collection of desktop games written in rust
Language:Rust20 5 05
dixi
A wiki based on firm theoretical foundations
Language:Haskell52 4 152
holbert
A graphical interactive proof assistant designed for education
Language:Haskell162 4 35
latex-formulae
Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
Language:Haskell56 4 86
learn-you-an-agda
Learn you an Agda (and achieve enlightenment)
Language:Agda311 29 1135
patches-vector
A library for patches (diffs) on vectors: composable, mergeable and invertible
Language:Haskell55 8 28
wizards
High level, generic library for interrogative user interfaces in Haskell
Language:Haskell42 3 84
specstrom
A new specification language for Quickstrom
Language:Haskell3 4 01

liamoc's Repositories

liamoc/learn-you-an-agda
Learn you an Agda (and achieve enlightenment)
Language:Agda311 29 1135
liamoc/holbert
A graphical interactive proof assistant designed for education
Language:Haskell162 4 35
liamoc/latex-formulae
Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
Language:Haskell56 4 86
liamoc/patches-vector
A library for patches (diffs) on vectors: composable, mergeable and invertible
Language:Haskell55 8 28
liamoc/dixi
A wiki based on firm theoretical foundations
Language:Haskell52 4 152
liamoc/wizards
High level, generic library for interrogative user interfaces in Haskell
Language:Haskell42 3 84
liamoc/desktop_games
a collection of desktop games written in rust
Language:Rust20 5 05
liamoc/dddp
Deferring the Details and Deriving Programs
Language:TeX14 3 01
liamoc/agda-snippets
Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
Language:Haskell11 3 41
liamoc/cardputer_minigames
Minigames for the M5Stack Cardputer, written in rust
Language:Rust10
liamoc/composition-tree
Composition trees for arbitrary monoids.
Language:Haskell9 4 04
liamoc/tesserae
A library for manipulating 8x8 2-color tile graphics in the spirit of 8-bit text mode drawing.
Language:Rust8 4 02
liamoc/me-em
Model Examples, Example Models
Language:Agda6 4 02
liamoc/liamoc.net
my gnu-make-powered website
Language:TeX4 3 03
liamoc/6502_mep
Micro Entertainment Pack games for 6502 systems
Language:Assembly2 4 01
liamoc/botz-rs
a port of Kevin Laity's classic physics toy to Rust and egui
Language:Rust2 3 01
liamoc/pretty-show-ansi-wl
Pretty-show, but for ansi-wl-pprint
Language:Haskell2 3 1
liamoc/cogent
Proof-Code co-generation
Language:Isabelle1 4 0
liamoc/rust-tetris
A small tetris clone in Rust
Language:Rust1 2 0
liamoc/agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell2 0
liamoc/agda-stdlib
The Agda standard library
Language:Agda2 0
liamoc/ASinE
A study in equalities
Language:Agda
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.
Language:Python2 0
liamoc/dset
Small, decidable sets in Agda, with nice equational reasoning.
Language:Agda2 0
liamoc/haskell-memoization-utils
Utilities for memoizing haskell functions
Language:Haskell2 0
liamoc/icfp2016-papers
Link to preprints for ICFP'16 and co-located events
2 0
liamoc/linklater
A Haskell library for the Slack API (including real-time messaging!)
Language:Haskell3 0
liamoc/micropolis-rs
The classic Micropolis (Sim City 1) game rewritten in Rust, with WebAssembly support.
Language:Rust1 0
liamoc/stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
Language:Shell3 0
liamoc/structs
Agda library for structurally-typed records.
Language:Agda2 0