Categories: None [Edit]
verum
A programatic FSM library that makes specifications executable and verifiable.
Total
Ranking: 168,877 of 180,661
Downloads: 2,013
Daily
Ranking: 75,347 of 180,641
Downloads: 0
Downloads Trends
Ranking Trends
Num of Versions Trends
Popular Versions (Major)
Popular Versions (Major.Minor)
Depended by
Rank | Downloads | Name |
---|
Depends on
Rank | Downloads | Name |
---|---|---|
19 | 807,435,432 | minitest |
269 | 117,338,561 | sexp_processor |
5,554 | 779,950 | sourcify |
Owners
# | Gravatar | Handle |
---|---|---|
1 | paulosalem |