Fault-lang

Pinned Repositories

docs
Documentation on writing models in Fault
Language:SCSS00
examples
Example specs in Fault
Language:TLA2 2 00
Fault
a language for building system dynamic models
Language:Go168 6 76

Fault-lang's Repositories

Fault-lang/Fault
a language for building system dynamic models
Language:Go168 6 76
Fault-lang/examples
Example specs in Fault
Language:TLA2 2 00
Fault-lang/docs
Documentation on writing models in Fault
Language:SCSS00
Fault-lang/vsc-fault
Visual Studio Code Extension for Fault syntax highlighting and linting
Language:TypeScript