GitHub Hot Board · Repository archive
viperproject/silver
Definition of the Viper intermediate verification language. (This description comes from the repository itself.)
Data at October 21viperproject
Best
#6
Underappreciated Gems
100
Total stars
53
Total forks
3
Days on boards (30d)
Current rankings
- 6Underrated →
Underappreciated Gems
100 stars · 53 fork · Total stars (ascending)
Momentum, past 30 days
Cumulative stars
Rank movement