Categories: None [Edit]
gisele-analysis
This project implements the formal analysis techniques available on the
gisele process ...
Total
Ranking: 133,877 of 195,571
Downloads: 4,903
Daily
Ranking: 106,124 of 195,548
Downloads: 1
Downloads Trends
Ranking Trends
Num of Versions Trends
Popular Versions (Major)
Popular Versions (Major.Minor)
Depended by
| Rank | Downloads | Name |
|---|---|---|
| 39,860 | 32,432 | gisele |
Depends on
| Rank | Downloads | Name |
|---|---|---|
| 8 | 1,378,261,707 | rake |
| 29 | 1,003,584,314 | rspec |
| 19,641 | 91,017 | letters |
| 48,057 | 25,277 | stamina-core |
| 64,801 | 16,748 | yargi |
| 77,846 | 12,770 | gisele-language |
| 94,580 | 9,336 | cudd-rb |
Owners
| # | Gravatar | Handle |
|---|---|---|
| 1 |  | blambeau |
xmisao