Projects in Awesome Lists tagged with constrained-decoding
A curated list of projects in awesome lists tagged with constrained-decoding .
https://github.com/parkervg/blendsql
Query language for blending SQL and local language models across structured + unstructured data, with type constraints.
constrained-decoding llm natural-language-processing nlp python query-language question-answering sql structured-generation symbolic-ai
Last synced: 14 Apr 2026
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/eth-sri/constrained-diffusion
Constrained Decoding of Diffusion LLMs with Context-Free Grammars.
constrained-decoding diffusion diffusion-model fill-in-the-middle llm llms llms-benchmarking multi-region-infilling
Last synced: 29 Sep 2025
https://github.com/rand/ananke
Constraint-driven code generation that transforms AI from probabilistic guessing into controlled search through valid program spaces.
ai codegen constrained-decoding
Last synced: 02 Mar 2026
https://github.com/coreason-ai/coreason-runtime
The official zero-trust, high-throughput kinetic execution engine for the coreason-manifest ontology.
active-inference agents artificial-intelligence constrained-decoding coreason kinetic-execution llm mcp ontology orchestration temporal wasm zero-trust
Last synced: 24 May 2026
https://github.com/rand/maze
MAZE is an adaptive constraint-based code generation system that combines Large Language Models (LLMs) with formal constraint enforcement to produce more accurate and contextually appropriate code.
Last synced: 17 Jan 2026
https://github.com/nobottomline/ullm
uLLM — universal local LLM inference engine in Rust. GGUF + SafeTensors + MLX, Metal GPU forward. Runs Llama / Qwen2 / Qwen3 / Qwen3-MoE / Gemma-3 on Apple Silicon.
agents apple-silicon constrained-decoding gguf grammar inference inference-engine json-schema llama llm local-llm metal openai-api rust structured-outputs
Last synced: 13 Jun 2026