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

Search Atom packages.

language-whyml

WhyML language support
  • #why
  • #whyml
  • #functional
  • #verification
franekp
897
0

dafny-workbench

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

language-sfv

Syntax highlighting for SFV files
  • #simple file verification
  • #sfv
idleberg
9
0

linter-verification

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

language-dafny

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

tessla2

This packages provides some IDE feautures for C-Code and TeSSLa specifications
  • #tessla
  • #tessla-ide
  • #ide
  • #instrumenting
  • #verification
malteschmitz
73
0
  • Terms of Use
  • Privacy
  • Code of Conduct
  • Releases
  • FAQ
  • Contact
with by