Calvin-L/sublime-coq-plugin
Syntax highlighting and Coq interactivity for Sublime Text 3
Developer Profile
Calvin-L
Discovered public repositories for Calvin-L in the GitHub catalog.
Calvin-L/sjforms
A small declarative-style library for validating untrusted input in Java
Calvin-L/glowing-llama
Wireless phone communication over audio
Calvin-L/homebrew
The missing package manager for OS X.
Calvin-L/sj3d
A simple 3D software renderer for Java
Calvin-L/kqwait
Waits for events on files on Max OS X
Calvin-L/MarchingTetrahedrons
A tiny, simple implementation of the marching tetrahedrons algorithm.
Calvin-L/minilang
A tiny, surprisingly turing-complete language