harp-lab / gdlogLinks
☆82Updated 8 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 4 months ago
- Datalog with support for SMT queries and first-order functional programming☆158Updated 7 months ago
- Slog 1.0☆43Updated last year
- An awesome list of e-graph resources☆181Updated last month
- Rewrite Rule Inference Using Equality Saturation☆127Updated 2 weeks ago
- CTADL is a static taint analysis tool☆19Updated 3 weeks ago
- Datalog with equality for rust☆68Updated last month
- ☆51Updated 3 months ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆102Updated 3 years ago
- embedding MLIR in LEAN☆47Updated last year
- ☆16Updated 3 years ago
- benchmarking e-graph extraction☆44Updated last month
- 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
- Forge: A Tool and Language for Teaching Formal Methods☆79Updated this week
- sketches for egg: a flexible, high-performance e-graph library☆27Updated 2 months ago
- library learning w egraphs☆18Updated 2 years ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆126Updated 2 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated 3 months ago
- Engines, queries, and data for dynamic Datalog computation☆125Updated 3 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- A synthesis-enabled solver for relational logic☆27Updated 7 years ago
- An experimental optimizing compiler for Bril☆70Updated 2 weeks ago
- A language for symbolic transitions system, inspired by Ivy.☆69Updated last year
- ☆88Updated 2 years ago
- A program synthesis framework for verified lifting applications☆52Updated 3 weeks ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- A minimal development of SSA theory☆145Updated this week
- Rhyme is an Expressive Data-Centric Query Language☆29Updated last month