harp-lab / gdlogLinks
☆82Updated 9 months ago
Alternatives and similar repositories for gdlog
Users that are interested in gdlog are comparing it to the libraries listed below
Sorting:
- vertical + gpu + free join + datalog☆20Updated 5 months ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Datalog with support for SMT queries and first-order functional programming☆160Updated last week
- library learning w egraphs☆20Updated 2 years ago
- Slog 1.0☆43Updated last year
- Code for enumeration from a CFG☆18Updated last year
- Unison's source code☆108Updated last year
- An awesome list of e-graph resources☆199Updated last month
- Rewrite Rule Inference Using Equality Saturation☆131Updated last month
- embedding MLIR in LEAN☆47Updated last year
- Synthesis of Heap-Manipulating Programs from Separation Logic☆127Updated 2 years ago
- Pedagogical first-order prover in Python☆76Updated last month
- sketches for egg: a flexible, high-performance e-graph library☆27Updated 4 months ago
- An LLVM interface for Lean 4. (WIP)☆22Updated 2 years ago
- Rhyme is an Expressive Data-Centric Query Language☆30Updated last month
- LLVM support for the lean theorem prover☆49Updated 3 years ago
- benchmarking e-graph extraction☆47Updated 2 months ago
- Logically Qualified Data Types - automatically infer refinement types☆15Updated 3 years ago
- a Rust implementation of first-order term rewriting systems (TRS)☆27Updated 3 years ago
- Symbolic formula representation and solver interaction library☆166Updated last week
- A Low Barrier Proof Assistant☆117Updated last week
- A synthesis-enabled solver for relational logic☆27Updated 7 years ago
- Python bindings for egg☆49Updated 2 years ago
- Datalog with equality for rust☆68Updated last week
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆82Updated 3 weeks ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆22Updated last week
- A language for symbolic transitions system, inspired by Ivy.☆69Updated last month
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆73Updated 3 weeks ago
- An experimental optimizing compiler for Bril☆70Updated 3 weeks ago