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,609 of 192,565
Downloads: 17,901
Daily
Ranking: 59,661 of 192,541
Downloads: 2
Downloads Trends
Ranking Trends
Num of Versions Trends
Popular Versions (Major)
Popular Versions (Major.Minor)
Depended by
| Rank | Downloads | Name |
|---|---|---|
| 91,402 | 9,594 | tla-sbuilder-salesforce |
| 137,977 | 4,531 | sbuilder-ethereum |
| 141,173 | 4,353 | tla-trace-filter |
| 168,129 | 2,816 | sbuilder-ial |
| 169,573 | 2,728 | sbuilder-al |
Depends on
| Rank | Downloads | Name |
|---|---|---|
| 25 | 1,076,895,429 | thor |
| 103 | 454,242,630 | hashie |
| 286 | 177,947,588 | json-schema |
| 729 | 76,511,640 | mustache |
| 86,561 | 10,514 | tla-parser-s |
Owners
| # | Gravatar | Handle |
|---|---|---|
| 1 | jarjuk |