Giters
Liam O'Connor (liamoc)

liamoc

Geek Repo

185

followers

28

following

33

stars

Company:Australian National University

Location:Edinburgh

Home Page:http://liamoc.net

Github PK Tool:Github PK Tool

Liam O'Connor's repositories

learn-you-an-agda

Learn you an Agda (and achieve enlightenment)

Language:AgdaLicense:BSD-3-ClauseStargazers:311Issues:30Issues:11

holbert

A graphical interactive proof assistant designed for education

Language:HaskellLicense:BSD-3-ClauseStargazers:161Issues:4Issues:3

latex-formulae

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

Language:HaskellLicense:BSD-3-ClauseStargazers:56Issues:4Issues:8

patches-vector

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

Language:HaskellLicense:BSD-3-ClauseStargazers:55Issues:8Issues:2

dixi

A wiki based on firm theoretical foundations

Language:HaskellLicense:BSD-3-ClauseStargazers:52Issues:4Issues:15

wizards

High level, generic library for interrogative user interfaces in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:42Issues:3Issues:8

desktop_games

a collection of desktop games written in rust

Language:RustLicense:NOASSERTIONStargazers:20Issues:5Issues:0

dddp

Deferring the Details and Deriving Programs

Language:TeXStargazers:14Issues:3Issues:0

agda-snippets

Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.

Language:HaskellLicense:NOASSERTIONStargazers:11Issues:3Issues:4

composition-tree

Composition trees for arbitrary monoids.

Language:HaskellLicense:BSD-3-ClauseStargazers:9Issues:4Issues:0

tesserae

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

Language:RustLicense:BSD-3-ClauseStargazers:8Issues:4Issues:0

cardputer_minigames

Minigames for the M5Stack Cardputer, written in rust

Language:RustLicense:Apache-2.0Stargazers:7Issues:0Issues:0

me-em

Model Examples, Example Models

Language:AgdaStargazers:6Issues:4Issues:0

liamoc.net

my gnu-make-powered website

Language:TeXLicense:BSD-3-ClauseStargazers:4Issues:3Issues:0

6502_mep

Micro Entertainment Pack games for 6502 systems

Language:AssemblyStargazers:2Issues:4Issues:0

botz-rs

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

Language:RustLicense:Apache-2.0Stargazers:2Issues:3Issues:0

pretty-show-ansi-wl

Pretty-show, but for ansi-wl-pprint

Language:HaskellLicense:MITStargazers:2Issues:3Issues:1

cogent

Proof-Code co-generation

Language:IsabelleLicense:NOASSERTIONStargazers:1Issues:4Issues:0

rust-tetris

A small tetris clone in Rust

Language:RustStargazers:1Issues:2Issues:0

agda

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

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

agda-stdlib

The Agda standard library

Language:AgdaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

ASinE

A study in equalities

Language:AgdaStargazers:0Issues:0Issues:0

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:PythonLicense:NOASSERTIONStargazers:0Issues:2Issues:0

dset

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

Language:AgdaStargazers:0Issues:2Issues:0

haskell-memoization-utils

Utilities for memoizing haskell functions

Language:HaskellLicense:MITStargazers:0Issues:2Issues:0

icfp2016-papers

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

Stargazers:0Issues:2Issues:0

linklater

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

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:3Issues:0

micropolis-rs

The classic Micropolis (Sim City 1) game rewritten in Rust, with WebAssembly support.

Language:RustLicense:NOASSERTIONStargazers:0Issues:1Issues:0

stackage

"Stable Hackage," tools for creating a vetted set of packages from Hackage.

Language:ShellLicense:MITStargazers:0Issues:3Issues:0

structs

Agda library for structurally-typed records.

Language:AgdaLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0