spolu/
Open format for specifying structured assumptions and requirements about code.
by Stanislas Polu TypeScript 7 forks Created Aug 2026 View on GitHub
- Stars
- 99
- 1% of spolu's stars
- Rank
- #488,467
- of 847,188 repos, top 58%
- In TypeScript
- #37,893
- of 61,849 repos, top 62%
Among 847,188 repos
63–100 stars: 216,339 repos, including code-contracts
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 #484,601
- Next milestone
- +20 stars to reach the top 50%