Categories: None [Edit]
tla-sbuilder
A tool to generate runnable specification models in TLA+ language
for business IT systems. Specification model can be verified using
TLA+ Tools, and parts of it can be presented as implementation
blueprints to developers.
Total
Ranking: 60,645 of 193,262
Downloads: 18,031
Daily
Ranking: 111,613 of 193,241
Downloads: 0
Downloads Trends
Ranking Trends
Num of Versions Trends
Popular Versions (Major)
Popular Versions (Major.Minor)
Depended by
| Rank | Downloads | Name |
|---|---|---|
| 91,453 | 9,667 | tla-sbuilder-salesforce |
| 127,569 | 5,205 | sbuilder-ethereum |
| 141,188 | 4,390 | tla-trace-filter |
| 168,357 | 2,840 | sbuilder-ial |
| 169,755 | 2,755 | sbuilder-al |
Depends on
| Rank | Downloads | Name |
|---|---|---|
| 25 | 1,090,121,054 | thor |
| 103 | 459,567,429 | hashie |
| 283 | 181,267,166 | json-schema |
| 728 | 77,324,069 | mustache |
| 86,624 | 10,593 | tla-parser-s |
Owners
| # | Gravatar | Handle |
|---|---|---|
| 1 | jarjuk |