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

Compare with

100–160 stars: 154,949 repos, including type-constrained-code-generation

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

Stars counted Recounted daily Next count around