Alchiadus

Packages 3

language-dafny

Dafny language support in Atom.
Alchiadus
325

linter-verification

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

dafny-workbench

Workbench for the program verification tool Dafny.
Alchiadus
116

Themes 1

base16-syntax

A Base16 syntax theme with support for all Base16 color schemes and styles.
Alchiadus
1.8.1 26,687

Stars 0

No stars… yet.