Discover @liamoc Open Source projects

Liam O'Connor (@liamoc)

liamoc

Stars
838
Global Rank 36,258 (Top 2 %)
Followers 183
Following 28
Registered over 15 years ago
Most used languages

Haskell
53.6 %

Rust
14.3 %

TeX
10.7 %

JavaScript
7.1 %

Agda 7.1 %

Emacs Lisp
3.6 %

Assembly
3.6 %
Location 🇦🇺 Australia
Country Total Rank 633
Country Ranking

Agda 1

Haskell
6

TeX
45

Emacs Lisp
67

Assembly
95

Rust
157

JavaScript
2,698

learn-you-an-agda

Learn you an Agda (and achieve enlightenment)

holbert

A graphical interactive proof assistant designed for education

patches-vector

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

latex-formulae

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

dixi

A wiki based on firm theoretical foundations

wizards

High level, generic library for interrogative user interfaces in Haskell

hilbert

An intensely interactive, graphical theorem prover based on natural deduction

desktop_games

a collection of desktop games written in rust

dddp

Deferring the Details and Deriving Programs

pongell

crappy pong clone written in haskell

composition-tree

Composition trees for arbitrary monoids.

gentzen

A beginner's theorem prover

agda-snippets

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

tesserae

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

outside-in

Formalisation of The GHC Team's OutsideIn(X) in Agda.

opardum-server

operational transforms based collaborative editing server written all in literate haskell

tea-hs

2d game creation library for Haskell

me-em

Model Examples, Example Models

standard

Sphere Standard Engine

spacemacs-agda

A little agda layer for spacemacs

liamoc.net

my gnu-make-powered website

pl-course-book

A book based on course notes written over the years for a UNSW PL course

pretty-show-ansi-wl

Pretty-show, but for ansi-wl-pprint

gameupdater_client

Client for GameUpdater

botz-rs

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

sfont-hs

Haskell port of the SFont Library

sprig-hs

SDL Primitive Generator bindings to Haskell

gameupdater_server

Server for GameUpdater

6502_mep

Micro Entertainment Pack games for 6502 systems

elm-redex

An 8-hour project, writing an interactive untyped lambda calculus interpreter/rewriter in elm.

generators

composable monadic random value generators

rust-tetris

A small tetris clone in Rust

geordi

Well-typed, minimalist web-framework for GHC Haskell