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,363 of 191,254
Downloads: 17,699
Daily
Ranking: 52,956 of 191,174
Downloads: 1
Downloads Trends
Ranking Trends
Num of Versions Trends
Popular Versions (Major)
Popular Versions (Major.Minor)
Depended by
| Rank | Downloads | Name |
|---|---|---|
| 91,052 | 9,490 | tla-sbuilder-salesforce |
| 140,868 | 4,294 | tla-trace-filter |
| 162,417 | 3,154 | sbuilder-ethereum |
| 167,503 | 2,778 | sbuilder-ial |
| 168,861 | 2,697 | sbuilder-al |
Depends on
| Rank | Downloads | Name |
|---|---|---|
| 25 | 1,053,035,433 | thor |
| 104 | 444,769,118 | hashie |
| 286 | 171,900,707 | json-schema |
| 730 | 75,034,447 | mustache |
| 86,247 | 10,391 | tla-parser-s |
Owners
| # | Gravatar | Handle |
|---|---|---|
| 1 |  | jarjuk |
xmisao