language-dafny

Dafny language support in Atom.

• #dafny
• #verification
• #language
• #syntax
• #highlighting

linter-verification

Linter package with support for the program verification tools Dafny, Chalice and Boogie.

• #linter
• #verification
• #dafny
• #chalice
• #boogie

dafny-workbench

Workbench for the program verification tool Dafny.

• #dafny
• #verification
• #linter

base16-syntax

A Base16 syntax theme with support for all Base16 color schemes and styles.

• #base16
• #eighties
• #monokai
• #solarized
• #tomorrow