wysiib

Packages 6

language-tla-pluscal

TLA+ and PlusCal support for Atom
wysiib
477

language-b-eventb

B and Event-B language support in Atom
wysiib
506

language-jack

Jack language support for Atom
wysiib
0.1.1 665

language-smt-lib

SMT-LIB support for Atom
wysiib
1,020

linter-languagetool

Checks text using languagetool
wysiib
3,706

linter-prolog

Lint Prolog code using swipl or sicstus
wysiib
8,982

Themes 0

No themes… yet.

Stars 0

No stars… yet.