nasa/
Library for rigorous verification of non-linear arithmetic
by NASA C++ 34 forks Created Apr 2014 View on GitHub
- Stars
- 117
- <1% of nasa's stars
- Rank
- #429,707
- of 852,119 repos, top 51%
- In C++
- #23,024
- of 45,407 repos, top 51%
Among 852,119 repos
100–160 stars: 155,549 repos, including Kodiak
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 #426,809
- Next milestone
- +2 stars to reach the top 50%
- Popular
- One of 490,778 repos with 100+ stars
- Yearly average
- 9 stars a year since Apr 2014