A Sublime Text 2 plugin for Dafny. Provides verifing and syntax highlighting.