• Packages
  • Themes
  • Documentation
  • Blog
  • Discussions
Sign in

wysiib

Packages 6

language-tla-pluscal

TLA+ and PlusCal support for Atom
wysiib
503
2

language-b-eventb

B and Event-B language support in Atom
  • #b
  • #event-b
  • #specification
  • #formal method
  • #machine
wysiib
529
0

language-jack

Jack language support for Atom
wysiib
755
1

language-smt-lib

SMT-LIB support for Atom
wysiib
1,255
0

linter-languagetool

Checks text using languagetool
wysiib
4,141
6

linter-prolog

Lint Prolog code using swipl or sicstus
wysiib
9,635
6

Themes 0

No themes… yet.

Stars 0

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