piantado / enumerateCFG
Code for enumeration from a CFG
☆18Updated last year
Related projects ⓘ
Alternatives and complementary repositories for enumerateCFG
- ☆75Updated 3 weeks ago
- Slog 1.0☆33Updated 5 months ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated last year
- Datalog + Egg = Good☆65Updated last year
- sketches for egg: a flexible, high-performance e-graph library☆25Updated 5 months ago
- Datalog that's as easy as ABC.☆55Updated last week
- A synthesis-enabled solver for relational logic☆27Updated 6 years ago
- ☆22Updated last year
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆16Updated 2 years ago
- Datalog with support for SMT queries and first-order functional programming☆155Updated 3 weeks ago
- ☆15Updated 3 years ago
- egraph on top of sqlite☆12Updated 2 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated last year
- Online BDD Simulation Tool☆17Updated 2 years ago
- Pedagogical first-order prover in Python☆73Updated 2 weeks ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated last month
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆34Updated last year
- ☆15Updated 2 years ago
- software archaeology of reflective towers of interpreters☆15Updated last month
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 7 years ago
- Decompose source code into templates and fragments for any language.☆21Updated 2 years ago
- ☆11Updated 3 years ago
- ☆13Updated last year
- CHR2 to SQL conversion☆12Updated 9 years ago
- ☆13Updated 4 years ago
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆14Updated 3 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated 10 months ago