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 28 million developers.
Haskell & Coq programmer, Emacs devotee, Mac OS X, Linux, Common Lisp, and member of the Bahá‘í Faith.
Junior at Harvey Mudd College studying Computer Science. In my free time, I write package managers, Emacs plugins, and other miscellany.
Computer Engineering student at the University of British Columbia. Interested in programming, open source, and related technologies.
Press h to open a hovercard with more details.