isovector/
Source material for Certainty by Construction
by Sandy Maguire TeX 11 forks Created Oct 2022 View on GitHub
- Stars
- 53
- 2% of isovector's stars
- Rank
- #801,367
- of 851,984 repos, top 95%
- In TeX
- #2,553
- of 2,738 repos, top 94%
Among 851,984 repos
40–63 stars: 143,702 repos, including certainty-by-construction
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 #789,869
- Next milestone
- +4 stars to reach the top 90%
- Yearly average
- 13 stars a year since Oct 2022