sml-util

A handful of potentially useful crap for Standard ML

typecoin

Typecoin: Massively Multiplayer Online Linear Logic

LazyK

Updated LazyK source distribution

advent-of-code

my advent of code solutions

godels-t

Formalization of a bunch of properties of Godel's System T in agda

rmc-compiler

Implementation of RMC atomics for C/C++

cmd-queue

A really dumb script for running a queue of commands

he-man

Haskell Event Manager, Apropos Networking

web-tetrinet

Browser-based tetrinet implementation

avl-tree

intrusive avl trees in C

parrot

bovik-papers