language-boogie
Boogie language support in Atom.
michael-emmi 41 0 1.2.0 MIT GitHub

Boogie for Atom

A language grammar for the Boogie intermediate verification language.