harp-lab / gdlogLinks
☆81Updated 7 months ago
Alternatives and similar repositories for gdlog
Users that are interested in gdlog are comparing it to the libraries listed below
Sorting:
- Datalog + Egg = Good☆66Updated 2 years ago
- vertical + gpu + free join + datalog☆20Updated 3 months ago
- Slog 1.0☆42Updated 11 months ago
- An awesome list of e-graph resources☆171Updated last week
- Datalog with support for SMT queries and first-order functional programming☆157Updated 7 months ago
- Datalog with equality for rust☆68Updated last month
- ☆49Updated 3 months ago
- Rewrite Rule Inference Using Equality Saturation☆126Updated this week
- embedding MLIR in LEAN☆47Updated 11 months ago
- sketches for egg: a flexible, high-performance e-graph library☆27Updated 2 months ago
- Prolog, Datalog, languages, resources, and beyond!☆31Updated 7 months ago
- Code for enumeration from a CFG☆18Updated last year
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆69Updated last month
- ☆16Updated 3 years ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆102Updated 3 years ago
- benchmarking e-graph extraction☆39Updated last week
- Engines, queries, and data for dynamic Datalog computation☆124Updated 3 years ago
- Rhyme is an Expressive Data-Centric Query Language☆29Updated 2 weeks ago
- Armv8 Native Code Symbolic Simulator in Lean☆84Updated 5 months ago
- Forge: A Tool and Language for Teaching Formal Methods☆75Updated 2 weeks ago
- A synthesis-enabled solver for relational logic☆27Updated 7 years ago
- An LLVM interface for Lean 4. (WIP)☆21Updated last year
- An experimental optimizing compiler for Bril☆66Updated last month
- A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…☆88Updated 3 weeks ago
- LLVM support for the lean theorem prover☆48Updated 3 years ago
- A language for symbolic transitions system, inspired by Ivy.☆68Updated last year
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- ☆17Updated 11 months ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- The Daedalus data description language☆72Updated 2 months ago