eth-sri/ type-constrained-code-generation
Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]
by SRI Lab, ETH Zurich Python MIT licence 10 forks Created Mar 2025 View on GitHub
- Stars
- 106
- 1% of eth-sri's stars
- Rank
- #463,694
- of 848,579 repos, top 55%
- In Python
- #92,418
- of 172,528 repos, top 54%
Among 848,579 repos
100–160 stars: 154,949 repos, including type-constrained-code-generation
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 #460,180
- Next milestone
- +13 stars to reach the top 50%
- Popular
- One of 489,552 repos with 100+ stars
- Yearly average
- 63 stars a year since Mar 2025