Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 40 million developers.Sign up
A simple IRC bot written in Common Lisp using regular expressions to correct rampant misnomers.
An emacs mode for editing Jim Fix's Ha language.
a fun little console blackjack game in go
Proof of type-safety for STLC with bools using a well-scoped de Bruijn representation and AutoSubst2