boogie-for-atom
Syntax highlighting for Microsoft's Boogie verification language to be used with the Atom text editor.
pdeligia 119 1 2.1.4 MIT GitHub

Boogie for Atom

Syntax highlighting for Microsoft's Boogie verification language to be used with the Atom text editor.

Boogie is an open-source project and can be found in CodePlex: