Projects in Awesome Lists tagged with code-synthesis
A curated list of projects in awesome lists tagged with code-synthesis .
https://github.com/eth-sri/type-constrained-code-generation
Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]
code-synthesis constrained-decoding llm type-systems
Last synced: 30 Jul 2025
https://github.com/nshkrdotcom/codex_sdk
OpenAI Codex SDK written in Elixir
ai ai-integration api-client beam code-generation code-synthesis codex elixir erlang-vm functional-programming llm llm-client nshkr-ai-sdk openai otp sdk
Last synced: 18 Feb 2026
