LeventErkok
Levent Erkök Joined Jan 2011 115 followers View on GitHub
- Stars
- 448
- across 9 public repos
- Rank
- #86,871
- of 327,333 users, top 27%
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 215,892 | SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers. | Haskell | 270 |
| 616,536 | Control your Arduino board from Haskell, using the Firmata protocol | Haskell | 74 |
Among 327,333 users
400–630 stars: 31,258 users, including LeventErkok
top 50%top 10%top 1%top 0.1% 
Stars along the bottom, and users in each band on a log scale
Where the stars are
Languages
- Haskell 344 stars, 77% · 2 repos
When they were made
2 repos with 50+ stars, made between 2011 and 2013
101001k hArduinosbv
Quick stats
- Next rank
- +1 star to reach #86,712
- Next milestone
- +172 stars to reach the top 20%
- Public repos
- 9, 2 with 50+ stars
- Popular repos
- 1 over 100 stars
- Top repo
- sbv, #215,892 of all repos, 60% of stars
- Smaller repos
- 104 stars from repos under 50