8000 liamoc (liamoc) / Repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View liamoc's full-sized avatar
194 followers · 28 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Highlights

  • Pro

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

  • forest Public

    Forest

    Updated May 17, 2025

  • forest-theme Public

    my theme for forester

    XSLT Updated May 12, 2025

  • forester-nova Public

    nova plugins for forester

    JavaScript 5 Updated Apr 10, 2025

  • tree-sitter-forester Public

    Forked from kentookura/tree-sitter-forester

    tree-sitter grammar for forester

    JavaScript GNU General Public License v3.0 Updated Apr 3, 2025

  • liamoc.net Public

    my gnu-make-powered website

    TeX 5 3 BSD 3-Clause "New" or "Revised" License Updated Mar 12, 2025

  • holbert Public

    A graphical interactive proof assistant designed for education

    Haskell 167 7 BSD 3-Clause "New" or "Revised" License Updated Nov 21, 2024

  • cardputer_minigames Public

    Minigames for the M5Stack Cardputer, written in rust

    Rust 12 Apache License 2.0 Updated Jan 2, 2024

  • desktop_games Public

    a collection of desktop games written in rust

    Rust 21 5 Other Updated Dec 28, 2023

  • ASinE Public

    Forked from XYUnknown/ASinE

    A study in equalities

    Agda Updated Jan 27, 2023

  • CSrankings Public

    Forked from emeryberger/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.

    Python Other Updated Sep 3, 2021

  • 6502_mep Public

    Micro Entertainment Pack games for 6502 systems

    Assembly 3 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

  • micropolis-rs Public

    Forked from pierreyoda/micropolis-rs

    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 41 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 9 2 BSD 3-Clause "New" or "Revised" License Updated Jan 25, 2020

  • latex-formulae Public

    Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll

    Haskell 57 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-ansi-wl Public

    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

  • patches-vector Public

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

    Haskell 56 8 BSD 3-Clause "New" or "Revised" License Updated Aug 19, 2018

  • composition-tree Public

    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 315 33 BSD 3-Clause "New" or "Revised" License Updated Feb 13, 2018

  • agda-snippets Public

    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

  • icfp2016-papers Public

    Forked from gasche/icfp2016-papers

    Link to preprints for ICFP'16 and co-located events

    Updated Aug 11, 2016

  • me-em Public

    Model Examples, Example Models

    Agda 7 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 51 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
0