eth-sri/type-constrained-code-generation
Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]
- Stars
- 105
- Forks
- 10
- Open issues
- 0
- Last push
- 7mo ago
type-constrained-code-generation star history
+0 this week
About type-constrained-code-generation
type-constrained-code-generation is a free, open-source LLM chat app by eth-sri, written mainly in Python. Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]. It has 105 GitHub stars and 10 forks, and was last updated 7mo ago. It's released under the MIT license, a standard open-source license. According to the project, it works on macOS.
- License
- MIT
- Commercial use
- Commercial OK
- Language
- Python
- Stars
- 105
- Last update
- 7mo ago
- Runs on Mac
- Yes (as stated by the project)
- GPU
- Not stated
- Paid API key
- Not stated
- Self-hostable
- Yes
Similar free tools
Hands-On-Large-Language-Models30k stars · Official code repo for the O'Reilly Book - "Hands-On Large Language Models"
open-webui157k stars · Self-hosted AI platform for managing and integrating various language models.
MiniOneRec1.9k stars · Minimal reproduction of OneRec
mcp-for-blender32k stars · Community plugin to control Blender 3D with any LLM of your choice. Not affiliated with the official Blender Foundation.
Qwen22k stars · Access and use Alibaba Cloud's Qwen large language models for chat and text generation.
dsh-our-free-model45k stars · 免费安装插件即可使用前沿语言模型进行对话。
type-constrained-code-generation FAQ
Can I use type-constrained-code-generation commercially?
Yes. MIT is a permissive license: commercial use is allowed as long as you keep the license notice. This is a plain-English summary, not legal advice.
Is type-constrained-code-generation free?
Yes. type-constrained-code-generation is open source and free to use. It's released under the MIT license, a standard open-source license.
Does type-constrained-code-generation run on a Mac?
Yes. According to the project, type-constrained-code-generation works on macOS.
Does type-constrained-code-generation need a GPU?
The project doesn't state hardware needs. AI models generally run much faster with a GPU.
Is type-constrained-code-generation still maintained?
It was last updated 7mo ago. Check recent issues on GitHub to judge how active it is.
What are alternatives to type-constrained-code-generation?
Similar free, open-source tools include Hands-On-Large-Language-Models, open-webui, MiniOneRec, mcp-for-blender.
Maintain type-constrained-code-generation?
Add this badge to your README to show it's featured on FreeAIRepo.
[](https://www.freeairepo.com/repo/eth-sri/type-constrained-code-generation)