Sublime Text 2 plugin for evaluating python and shell commands in a buffer and capturing the output.
Evidence producing type-checker for simply typed λ-calculus
The default channel file for the Sublime Package Control package manager. Fork, add your repository and send a pull request.
Normalization by evaluation in Agda
A formalization of monoidal e-categories in Agda
Github flavored Markdown for SublimeText and a custom theme for writing markdown
KeyCastr, an open-source keystroke visualizer