cpitclaudel/
A collection of tools for writing technical documents that mix Rocq code and prose.
by Clément Pit-Claudel HTML MIT licence 45 forks Created May 2020 View on GitHub
- Stars
- 331
- 18% of cpitclaudel's stars
- Rank
- #181,216
- of 851,992 repos, top 22%
- In HTML
- #4,336
- of 24,455 repos, top 18%
Among 851,992 repos
250–400 stars: 77,404 repos, including alectryon
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 #180,761
- Next milestone
- +25 stars to reach the top 20%
- Popular
- One of 490,655 repos with 100+ stars
- Yearly average
- 51 stars a year since May 2020