m
Repositories
Select a repository to view its commits, contributors, and more.public
sml-util
A handful of potentially useful crap for Standard ML
Standard ML
20
2
0
Updated 6 days ago
public
typecoin
Typecoin: Massively Multiplayer Online Linear Logic
Standard ML
18
1
0
Updated 3 years ago
public
LazyK
Updated LazyK source distribution
Scheme
17
5
0
Updated 2 years ago
public
advent-of-code
my advent of code solutions
Python
7
2
0
Updated 8 months ago
public
godels-t
Formalization of a bunch of properties of Godel's System T in agda
Agda
7
3
0
Updated 3 years ago
public
rmc-compiler
Implementation of RMC atomics for C/C++
C++
7
2
0
Updated a year ago
public
cmd-queue
A really dumb script for running a queue of commands
Python
3
0
0
Updated 2 years ago
public
he-man
Haskell Event Manager, Apropos Networking
TeX
2
0
6
Updated 8 years ago
public
web-tetrinet
Browser-based tetrinet implementation
TypeScript
2
2
0
Updated a year ago
public
avl-tree
intrusive avl trees in C
C
1
0
0
Updated 7 years ago
public
parrot
JavaScript
1
0
0
Updated a year ago
public
bovik-papers
1
0
0
Updated 11 years ago