• Packages
  • Themes
  • Documentation
  • Blog
  • Discuss
Sign in

Alchiadus

Packages 3

language-dafny

Dafny language support in Atom.
  • #dafny
  • #verification
  • #language
  • #syntax
  • #highlighting
Alchiadus
739
0

linter-verification

Linter package with support for the program verification tools Dafny, Chalice and Boogie.
  • #linter
  • #verification
  • #dafny
  • #chalice
  • #boogie
Alchiadus
416
0

dafny-workbench

Workbench for the program verification tool Dafny.
  • #dafny
  • #verification
  • #linter
Alchiadus
385
0

Themes 1

base16-syntax

A Base16 syntax theme with support for all Base16 color schemes and styles.
  • #base16
  • #eighties
  • #monokai
  • #solarized
  • #tomorrow
Alchiadus
32,797
74

Stars 0

No stars… yet.
  • Terms of Use
  • Privacy
  • Code of Conduct
  • Releases
  • FAQ
  • Contact
with by