liamoc

Liam O'Connor's repositories

spacemacs-agda

A little agda layer for spacemacs

Language:Emacs Lisp400

elm-redex

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

Language:JavaScriptBSD-2-Clause200

hilbert

An intensely interactive, graphical theorem prover based on natural deduction

Language:HaskellBSD-3-Clause3000

pl-course-book

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

Language:TeX300

emuwire

sshh

Language:Haskell000

geordi

Well-typed, minimalist web-framework for GHC Haskell

Language:HaskellBSD-3-Clause100

gentzen

A beginner's theorem prover

Language:Haskell800

outside-in

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

BSD-3-Clause800

opardum-server

operational transforms based collaborative editing server written all in literate haskell

Language:JavaScriptBSD-3-Clause700

generators

composable monadic random value generators

Language:HaskellBSD-3-Clause200

tea-hs

2d game creation library for Haskell

Language:HaskellBSD-3-Clause600

sfont-hs

Haskell port of the SFont Library

Language:HaskellBSD-3-Clause200

sprig-hs

SDL Primitive Generator bindings to Haskell

Language:HaskellNOASSERTION200

pongell

crappy pong clone written in haskell

900

gameupdater_server

Server for GameUpdater

200

gameupdater_client

Client for GameUpdater

200

standard

Sphere Standard Engine

400