-
-
soundness-completeness Public
Soundness and Completeness proofs for a simple constraint typing system, based on Pierce's book.
Coq UpdatedMar 23, 2017 -
-
-
-
-
-
selective-repeat Public
A simple prototype of reliable data transfer using Selective Repeat Protocol
C UpdatedMar 22, 2016 -
tiny-sh Public
A tiny shell supporting a small subset of shell command syntax
-
-
-
-
-
spinning-cubes Public
Implemented basic matrix arithmetic and utilized some OpenGL functions to make spinning objects
C++ UpdatedDec 15, 2012 -
graph-rebuild Public
Scripts for rebuilding game graphs for Joel (highbulp)
JavaScript UpdatedJun 15, 2012 -
{{ message }}