Geek Repo
followers
following
stars
Github PK Tool:Github PK Tool
λ-calculus in Quantitative Type Theory
My configuration files
Toy ray tracer based on Peter Shirley's Ray Tracing in One Weekend
Packages kolide/launcher for Nix
Pitiful operating system. Based on Stephen Marz's OS Blog.