cage433/Foundations
Development of the univalent foundations of mathematics in Coq
Developer Profile
cage433
Discovered public repositories for cage433 in the GitHub catalog.
cage433/ctrlp.vim
Fuzzy file, buffer, mru, tag, etc finder.
cage433/scala
The Scala programming language
cage433/global_with_scala
A clone of git@github.com:lqoyzy/global_with_scala which seems to have disappeared
cage433/lisp-ide
A simple Ruby CI script for SBCL projects
cage433/pfds
Public repository.
cage433/cribbage
A cribbage engine
cage433/maker
How hard could it be to replace SBT?
cage433/cv
My CV
cage433/alisp
A Lisp 1 written in C
cage433/lisp-utils
A collection of lisp utilities, focusing on creating a terser syntax.
cage433/Spline
A utility for interpolating surfaces
cage433/init-scripts
.bashrc, .vimrc etc
cage433/euler
Solutions to some of the project Euler problems - in Haskel
cage433/compiler
A place to put stuff while I learn compiler theory
cage433/lisp-poker
Lisp poker playing stuff