Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]
-
Updated
Mar 11, 2026 - Python
#
code-synthesis
Here are 12 public repositories matching this topic...
OpenAI Codex SDK written in Elixir
elixir otp sdk ai functional-programming beam api-client openai erlang-vm code-generation codex llm ai-integration llm-client code-synthesis nshkr-ai-sdk
-
Updated
Sep 30, 2026 - Elixir
GenPark AI Agent Skill - Autonomous skill code synthesizer, AST validator, sandboxed unit-test generator, and skill library archiver.
-
Updated
Sep 6, 2026 - Python
GenPark AI Agent Skill - Autonomous skill code synthesizer, AST validator, sandboxed unit-test generator, and skill library archiver.
-
Updated
Sep 6, 2026 - Python
This is an open-source repository for the system DynEx: Structured Design Exploration for AI Code Synthesis (CHI 2025, best paper honorable mention). Paper: https://arxiv.org/abs/2410.00400
code-generation human-computer-interaction human-ai human-ai-interaction generative-ai chi2025 code-synthesis
-
Updated
Apr 13, 2025 - Python
Geometric programming languages built on field theory: WPE/TME (AI reasoning, semantic calculus) and Crystalline (code synthesis, optimization). Physics-based, deterministic.
framework research synthetic-biology physics systems-biology program-synthesis computational-physics multi-domain field-theory neuro-symbolic ai-reasoning code-synthesis geometric-calculus deterministic-ai
-
Updated
Jun 6, 2026
The Latent Void Compiles Itself — full-stack zero-error code synthesis by unifying neural tensors and formal logic constraints. Haskell + deep learning.
-
Updated
Aug 29, 2026 - Haskell
The first diffusion-native CLI for autonomous code synthesis. Stigmergic coordination via thermal heat maps, powered by Inception Labs Mercury 2.
-
Updated
Mar 14, 2026 - Rust
Precision AST static analysis & telemetry engine for Java codebases. Powered by Java Compiler Tree API with zero external dependencies, stream parsing, and dark Web GUI.
java static-analysis telemetry developer-tools ast-parser code-metrics zero-dependencies code-synthesis compiler-tree-api
-
Updated
Oct 21, 2026 - Java
Top Synthetic Code Generation Compilers (Opensource) Star if you like it!
awesome-list code-generation curated-list coding-agents ai-coding code-synthesis synthetic-code-generation
-
Updated
Oct 14, 2026
🛠️ Create and explore novel programming languages using geometric foundations for advanced structural reasoning and efficient code synthesis.
framework research synthetic-biology physics systems-biology program-synthesis computational-physics multi-domain field-theory neuro-symbolic ai-reasoning code-synthesis geometric-calculus deterministic-ai
-
Updated
Oct 14, 2026
Automated Code Synthesis & Verification Benchmark Harness for LLM Agents
-
Updated
Oct 20, 2026 - Python
Add this topic to your repo
To associate your repository with the code-synthesis topic, visit your repo's landing page and select "manage topics."