tomahawkins
Tom Hawkins Joined May 2009 133 followers View on GitHub
- Stars
- 633
- across 62 public repos
- Rank
- #64,314
- of 327,333 users, top 20%
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 211,137 | A DSL for embedded hard realtime applications. | Haskell | 277 |
| 746,202 | Utilities for automotive ECU development. | Haskell | 58 |
| 767,295 | An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checking. ImProve compiles to C and Simulink. | Haskell | 56 |
Among 327,333 users
630–1k stars: 22,317 users, including tomahawkins
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 391 stars, 62% · 3 repos
When they were made
3 repos with 50+ stars, made between 2009 and 2010
101001k improveecuatom
Quick stats
- Next rank
- +1 star to reach #64,232
- Next milestone
- +675 stars to reach the top 10%
- Public repos
- 62, 3 with 50+ stars
- Popular repos
- 1 over 100 stars
- Top repo
- atom, #211,137 of all repos, 44% of stars
- Smaller repos
- 242 stars from repos under 50