-
Australian National University
- Edinburgh
- http:https://liamoc.net
Highlights
- Pro
Block or Report
Block or report liamoc
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
liamoc.net Public
my gnu-make-powered website
-
cardputer_minigames Public
Minigames for the M5Stack Cardputer, written in rust
-
desktop_games Public
a collection of desktop games written in rust
-
holbert Public
A graphical interactive proof assistant designed for education
-
-
CSrankings Public
Forked from emeryberger/CSrankingsA 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.
Python Other UpdatedSep 3, 2021 -
-
botz-rs Public
a port of Kevin Laity's classic physics toy to Rust and egui
-
micropolis-rs Public
Forked from pierreyoda/micropolis-rsThe classic Micropolis (Sim City 1) game rewritten in Rust, with WebAssembly support.
Rust Other UpdatedJul 26, 2021 -
wizards Public
High level, generic library for interrogative user interfaces in Haskell
-
tesserae Public
A library for manipulating 8x8 2-color tile graphics in the spirit of 8-bit text mode drawing.
-
latex-formulae Public
Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
-
-
pretty-show-ansi-wl Public
Pretty-show, but for ansi-wl-pprint
-
linklater Public
Forked from hlian/linklaterA Haskell library for the Slack API (including real-time messaging!)
Haskell BSD 3-Clause "New" or "Revised" License UpdatedNov 16, 2018 -
patches-vector Public
A library for patches (diffs) on vectors: composable, mergeable and invertible
-
composition-tree Public
Composition trees for arbitrary monoids.
-
learn-you-an-agda Public archive
Learn you an Agda (and achieve enlightenment)
-
agda-snippets Public
Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
-
-
cogent Public
Forked from au-ts/cogentProof-Code co-generation
-
icfp2016-papers Public
Forked from gasche/icfp2016-papersLink to preprints for ICFP'16 and co-located events
UpdatedAug 11, 2016 -
-
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedJul 20, 2016 -
dixi Public
A wiki based on firm theoretical foundations
-
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedFeb 16, 2016 -
stackage Public
Forked from commercialhaskell/stackage"Stable Hackage," tools for creating a vetted set of packages from Hackage.
Shell MIT License UpdatedNov 7, 2015 -
haskell-memoization-utils Public
Forked from yamadapc/haskell-memoization-utilsUtilities for memoizing haskell functions
Haskell MIT License UpdatedNov 6, 2015 -
dset Public
Small, decidable sets in Agda, with nice equational reasoning.
Agda UpdatedOct 27, 2015 -
structs Public
Agda library for structurally-typed records.
Agda BSD 3-Clause "New" or "Revised" License UpdatedOct 27, 2015