Code for enumeration from a CFG
☆20Sep 25, 2023Updated 2 years ago
Alternatives and similar repositories for enumerateCFG
Users that are interested in enumerateCFG are comparing it to the libraries listed below
Sorting:
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated last year
- Egraphs Modulo Theories☆18Jun 10, 2025Updated 8 months ago
- ☆21Jul 11, 2022Updated 3 years ago
- Analyze experimental data with Programming by Navigation☆17Feb 24, 2026Updated last week
- A fork of Yosys that integrates the CellIFT pass☆13Jul 23, 2025Updated 7 months ago
- heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape☆14Jul 20, 2025Updated 7 months ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- 🔍 Code Search Tools & Experiments☆12Updated this week
- Unified Maude model-checking tool☆13Feb 4, 2026Updated last month
- Arithmetic multiplier benchmarks☆12Nov 13, 2017Updated 8 years ago
- ☆12Oct 22, 2021Updated 4 years ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆38Feb 19, 2026Updated 2 weeks ago
- ☆32Sep 29, 2025Updated 5 months ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Sep 3, 2020Updated 5 years ago
- ☆13Dec 31, 2024Updated last year
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Jan 11, 2025Updated last year
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆15Nov 19, 2024Updated last year
- A framework for the large scale analysis of programming language usage.☆30Jun 27, 2023Updated 2 years ago
- A little library of bit-based data structures.☆21Sep 7, 2025Updated 5 months ago
- ☆15Oct 21, 2020Updated 5 years ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Mar 15, 2024Updated last year
- A tool for testing SMT solvers for incompleteness bugs☆17Oct 12, 2022Updated 3 years ago
- Datalog + Egg = Good☆66May 31, 2023Updated 2 years ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆17Feb 22, 2023Updated 3 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Feb 18, 2019Updated 7 years ago
- ☆17Apr 21, 2025Updated 10 months ago
- ☆16Jan 5, 2022Updated 4 years ago
- ☆18Jan 3, 2022Updated 4 years ago
- Grammar prioritization support for EUSolver.☆14Jul 18, 2019Updated 6 years ago
- ☆28Mar 31, 2025Updated 11 months ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆19Oct 5, 2022Updated 3 years ago
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆17Feb 26, 2025Updated last year
- Lean course materials for Brown CS 22, Spring 2023☆20Nov 20, 2023Updated 2 years ago
- Mining tool and large-scale datasets of single statement bug fixes in Python☆19Nov 29, 2023Updated 2 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 3 years ago
- Set of PyTorch modules for developing and evaluating different algorithms for embedding trees.☆22Dec 22, 2021Updated 4 years ago
- An IntelliJ-based IDE plugin for Python AST transformations☆18Aug 16, 2023Updated 2 years ago
- Counterexample-Driven Genetic Programming☆18Jun 11, 2022Updated 3 years ago