Nathan Corbyn

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???

obake. Versioned data-structures for Rust

agda-nbe. Verified NbE via gluing in Agda

rusty_slang. Compiler implementation to compliment compiler construction course

grassland. Simple 3D game framework based on LWJGL

tundra. Slightly more advanced 3D game framework based on LWJGL