Search Atom packages.

language-whyml

WhyML language support
franekp
931

dafny-workbench

Workbench for the program verification tool Dafny.
Alchiadus
436

language-sfv

Syntax highlighting for SFV files
idleberg
10

linter-verification

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

language-dafny

Dafny language support in Atom.
Alchiadus
800

tessla2

This packages provides some IDE feautures for C-Code and TeSSLa specifications
malteschmitz
73