LeventErkok/
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
by Levent Erkök Haskell Other licence 51 forks Created Jan 2011 View on GitHub
- Stars
- 270
- 60% of LeventErkok's stars
- Rank
- #215,892
- of 851,984 repos, top 26%
- In Haskell
- #430
- of 2,043 repos, top 22%
Among 851,984 repos
250–400 stars: 77,404 repos, including sbv
top 50%top 10%top 1%top 0.1% 
Stars along the bottom, and repos in each band on a log scale
Quick stats
- Next rank
- +1 star to reach #215,207
- Next milestone
- +86 stars to reach the top 20%
- Popular
- One of 490,650 repos with 100+ stars
- Yearly average
- 17 stars a year since Jan 2011