Nathan Corbyn's repositories
micro-mitten
You might not need your garbage collector
trait-eval
We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???
rusty_slang
Compiler implementation to compliment compiler construction course
antidotfiles
`nix-darwin` configuration
Language:Emacs LispMIT000
agda-nbe
Verified NbE via gluing in Agda
Language:AgdaMIT000
cluster_example
Example experiment for cluster
gamegig2018
Game Gig 2018 (One Button Edition) entry
gamegig3000
Game Gig 3000 entry
nathancorbyn.com
Personal website
planet_of_god
LD34 Game
reikai.js
JavaScript library for creating and displaying example Go boards
Language:JavaScriptGPL-3.0000