BoogiePartners provides a loose collection of utilities or extensions for Boogie and SpecSharp developers.

At the moment, the following utilities are provided:

• Emacs mode for BoogiePL that supports syntax-highlighting, auto-indentation and imenu (Boogie/Util/Emacs/boogiepl.el)
• Emacs flymake extension for BoogiePL (Boogie/Util/Emacs/flymake-boogiepl.el)
• Coco/R: the frame files used by Boogie (and Dafny) and which work with the current version of Coco/R.