darinmorrison

Darin Morrison

sublime-meta

Sublime Text 2 plugin for evaluating python and shell commands in a buffer and capturing the output.

stlc-evidence

Evidence producing type-checker for simply typed λ-calculus

package_control_channel

The default channel file for the Sublime Package Control package manager. Fork, add your repository and send a pull request.

nbe

Normalization by evaluation in Agda

knockdown

Github flavored Markdown for SublimeText and a custom theme for writing markdown

keycastr

KeyCastr, an open-source keystroke visualizer

  1. Prev
  2. 1
  3. 2
  4. Next