magnatelee/implicitcalculus
Interpreter of Implicit Calculus
Developer Profile
magnatelee
Discovered public repositories for magnatelee in the GitHub catalog.
magnatelee/terra
A low-level counterpart to Lua
magnatelee/reveal.js
The HTML Presentation Framework
magnatelee/dotfiles
netj's dotfiles
magnatelee/scala.github.com
Public repository.
magnatelee/vcprompt
Version control information in your prompt
magnatelee/Lstar
Implementation of Lstar algorithm in Haskell
magnatelee/Supervisor
Public repository.
magnatelee/ChimpChat
Public repository.
magnatelee/Bshouty
Bshouty's CDNF algorithm