eth-sri/type-constrained-code-generation

Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]

/ 100

Emerging

No Package No Dependents

Maintenance 13 / 25

Adoption 9 / 25

Maturity 16 / 25

Community 10 / 25

Stars

Forks

Language

Python

License

MIT

Category

Last pushed

Mar 11, 2026

Commits (30d)

Get this data via API

curl "https://pt-edge.onrender.com/api/v1/quality/ai-coding/eth-sri/type-constrained-code-generation"

Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.

Explore AI Coding Tools