eth-sri / type-constrained-code-generation
Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]
Why this job: says: code generation
What it does
This is an implementation of a completion engine that parses type safe programs incrementally, guaranteeing that intermediate outputs can be completed to type-safe programs. The completion enginge can be used to constrain the sampling from an LLM model to only type-safe programs. The implementation currently only handles TypeScript.
Get started
python3 experiments/main/download_models.py --models google/gemma-2-2b-it,google/gemma-2-9b-it You need: x86/64 architecture CPUs; 80GB GPU VRAM; CUDA 12.4 or newer
- Maintenance
- Inactive
- Last commit 8 months ago
- Stars
- 106
- On GitHub
- Licence
- MIT
- Allows business use
- Downloads for
- None listed
- No release files
- Latest version
- 1.0.1
- Released 18 months ago
- Built with
- Python
- 98% of the code
Is it looked after?
- Contributors
- Not stated
- Last 90 days
- Issues
- 100% closed
- 0 still open
- Pull requests
- 0 merged
- 0 waiting
- Releases
- 2
- 0 in the last year
- No contributing guide
- No security policy
- No code of conduct
More: languages, topics and project record
Languages
- Python 98%
- Shell 1%
- TypeScript 1%
- Rust <1%
Topics
- code-synthesis
- constrained-decoding
- llm
- type-systems
Project record
- JobCoding agents
- StatusListed
- Commits6
- Forks10
- Watching5
- Stars in 28 days+2
- CreatedMar 7, 2025
- First seen by usNov 7, 2026
- CheckedNov 8, 2026