Skip to content
View liamoc's full-sized avatar

Highlights

  • Pro
Block or Report

Block or report liamoc

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
  • liamoc.net Public

    my gnu-make-powered website

    TeX 4 3 BSD 3-Clause "New" or "Revised" License Updated Jul 30, 2024
  • Minigames for the M5Stack Cardputer, written in rust

    Rust 10 Apache License 2.0 Updated Jan 2, 2024
  • a collection of desktop games written in rust

    Rust 20 5 Other Updated Dec 28, 2023
  • holbert Public

    A graphical interactive proof assistant designed for education

    Haskell 161 5 BSD 3-Clause "New" or "Revised" License Updated Jan 30, 2023
  • ASinE Public

    Forked from XYUnknown/ASinE

    A study in equalities

    Agda Updated Jan 27, 2023
  • 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.

    Python Other Updated Sep 3, 2021
  • 6502_mep Public

    Micro Entertainment Pack games for 6502 systems

    Assembly 2 1 Updated Aug 17, 2021
  • botz-rs Public

    a port of Kevin Laity's classic physics toy to Rust and egui

    Rust 2 1 Apache License 2.0 Updated Aug 4, 2021
  • The classic Micropolis (Sim City 1) game rewritten in Rust, with WebAssembly support.

    Rust Other Updated Jul 26, 2021
  • wizards Public

    High level, generic library for interrogative user interfaces in Haskell

    Haskell 42 4 BSD 3-Clause "New" or "Revised" License Updated Jun 18, 2021
  • tesserae Public

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

    Rust 8 2 BSD 3-Clause "New" or "Revised" License Updated Jan 25, 2020
  • Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll

    Haskell 56 6 BSD 3-Clause "New" or "Revised" License Updated Sep 12, 2019
  • dddp Public

    Deferring the Details and Deriving Programs

    TeX 14 1 Updated Aug 18, 2019
  • Pretty-show, but for ansi-wl-pprint

    Haskell 2 MIT License Updated Nov 30, 2018
  • linklater Public

    Forked from hlian/linklater

    A Haskell library for the Slack API (including real-time messaging!)

    Haskell BSD 3-Clause "New" or "Revised" License Updated Nov 16, 2018
  • A library for patches (diffs) on vectors: composable, mergeable and invertible

    Haskell 55 8 BSD 3-Clause "New" or "Revised" License Updated Aug 19, 2018
  • Composition trees for arbitrary monoids.

    Haskell 9 4 BSD 3-Clause "New" or "Revised" License Updated May 7, 2018
  • learn-you-an-agda Public archive

    Learn you an Agda (and achieve enlightenment)

    Agda 311 35 BSD 3-Clause "New" or "Revised" License Updated Feb 13, 2018
  • Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.

    Haskell 11 1 Other Updated Nov 4, 2017
  • rust-tetris Public

    A small tetris clone in Rust

    Rust 1 Updated Jun 28, 2017
  • cogent Public

    Forked from au-ts/cogent

    Proof-Code co-generation

    Isabelle 1 Other Updated Dec 11, 2016
  • Link to preprints for ICFP'16 and co-located events

    Updated Aug 11, 2016
  • me-em Public

    Model Examples, Example Models

    Agda 6 2 Updated Aug 1, 2016
  • agda Public

    Forked from agda/agda

    Agda is a dependently typed programming language / interactive theorem prover.

    Haskell Other Updated Jul 20, 2016
  • dixi Public

    A wiki based on firm theoretical foundations

    Haskell 52 2 BSD 3-Clause "New" or "Revised" License Updated May 16, 2016
  • agda-stdlib Public

    Forked from agda/agda-stdlib

    The Agda standard library

    Agda Other Updated Feb 16, 2016
  • "Stable Hackage," tools for creating a vetted set of packages from Hackage.

    Shell MIT License Updated Nov 7, 2015
  • Utilities for memoizing haskell functions

    Haskell MIT License Updated Nov 6, 2015
  • dset Public

    Small, decidable sets in Agda, with nice equational reasoning.

    Agda Updated Oct 27, 2015
  • structs Public

    Agda library for structurally-typed records.

    Agda BSD 3-Clause "New" or "Revised" License Updated Oct 27, 2015