Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]
☆94Mar 11, 2026Updated 3 months ago
Alternatives and similar repositories for type-constrained-code-generation
Users that are interested in type-constrained-code-generation are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆91Feb 12, 2026Updated 3 months ago
- Generate interleaved text and image content in a structured format you can directly pass to downstream APIs.☆29Oct 18, 2024Updated last year
- A guide to structured generation using constrained decoding☆18Jun 9, 2024Updated 2 years ago
- ☆17Apr 15, 2025Updated last year
- A simple package to format Backus-Naur form☆17May 24, 2026Updated 2 weeks ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- An OCurrent pipeline for testing submissions to opam-repository☆24May 20, 2026Updated 3 weeks ago
- 📚 (WIP) Rewriting Software Foundations in Lean 4☆31Oct 24, 2025Updated 7 months ago
- Generate multiple seeds for Clifford or De Jong attractors simultaneously in a single page.☆10Jun 28, 2020Updated 5 years ago
- Staged Abstract Interpreters☆69Mar 13, 2023Updated 3 years ago
- Probabilistic programming with large language models☆174Updated this week
- 🔄 ASCII / IPA conversion for Typst☆22Jan 8, 2026Updated 5 months ago
- 🎲 A Kotlin DSL for probabilistic programming.☆12Apr 8, 2022Updated 4 years ago
- ☆18Aug 14, 2024Updated last year
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆16Mar 2, 2026Updated 3 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A defaultmap for rust☆25Apr 21, 2025Updated last year
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- TypeLeap☆12Mar 8, 2025Updated last year
- ☆15Sep 2, 2025Updated 9 months ago
- generate synthetic data for training finite state machines/pushdown automata/turing machines☆17Apr 26, 2024Updated 2 years ago
- A python library to manipulate formal languages and various automata☆61Sep 4, 2025Updated 9 months ago
- ☆21Nov 10, 2019Updated 6 years ago
- The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.☆29Jan 24, 2024Updated 2 years ago
- Refreshing automation for inductive equational proofs using e-graphs☆27Jul 7, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Fast, High-Fidelity LLM Decoding with Regex Constraints☆21Jul 26, 2024Updated last year
- Efficient and general syntactical decoding for Large Language Models☆334Jan 19, 2026Updated 4 months ago
- 🇰🇷 쉬운 전문용어 (Easy Korean Translations of CS Jargons)☆40Apr 17, 2026Updated last month
- Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.☆18Jul 30, 2020Updated 5 years ago
- A program analysis, verification, and optimization framework☆30Updated this week
- A curated list of papers related to constrained decoding of LLM, along with their relevant code and resources.☆349Jan 22, 2026Updated 4 months ago
- Accompanying materials for "A Core Calculus for Documents"☆37Oct 5, 2023Updated 2 years ago
- A tiny reactive dataflow library for scheduling a DAG of async functions in Javascript☆12Oct 22, 2022Updated 3 years ago
- american fuzzy lop - a security-oriented fuzzer☆11Feb 25, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Language models for Coq based on data collected from the coq lsp.☆31Feb 23, 2026Updated 3 months ago
- ☆55Mar 7, 2025Updated last year
- ☆35Apr 8, 2023Updated 3 years ago
- TARGET is a benchmark for evaluating Table Retrieval for Generative Tasks such as Fact Verification and Text-to-SQL☆28Jul 14, 2025Updated 10 months ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Mar 31, 2015Updated 11 years ago
- Haskell port of the Nanopass Compiler Framework☆23Dec 23, 2025Updated 5 months ago
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 2 years ago