harp-lab / gdlogLinks
☆83Updated last year
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 8 months ago
- Datalog with support for SMT queries and first-order functional programming☆164Updated this week
- Slog 1.0☆45Updated last year
- library learning w egraphs☆21Updated 2 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆91Updated last week
- Rewrite Rule Inference Using Equality Saturation☆141Updated 4 months ago
- An awesome list of e-graph resources☆250Updated 2 weeks ago
- benchmarking e-graph extraction☆46Updated 5 months ago
- Datalog with equality for rust☆71Updated this week
- CN separation logic refinement type system for C☆38Updated this week
- Wasm SpecTec specification tools☆75Updated last week
- sketches for egg: a flexible, high-performance e-graph library☆28Updated 3 weeks ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆128Updated 2 years ago
- embedding MLIR in LEAN☆48Updated last year
- Unison's source code☆108Updated last year
- ☆53Updated last week
- Code for enumeration from a CFG☆20Updated 2 years ago
- ☆16Updated 3 years ago
- A language for symbolic transitions system, inspired by Ivy.☆70Updated last month
- LLVM support for the lean theorem prover☆52Updated 4 years ago
- Python bindings for egg☆49Updated 2 years ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆76Updated this week
- ☆90Updated 3 years ago
- Interactive visualizer for e-graphs☆24Updated 2 weeks ago
- A Low Barrier Proof Assistant☆136Updated this week
- An LLVM interface for Lean 4. (WIP)☆24Updated 2 years ago
- Formally verified implementation of Alive in Lean☆37Updated 2 years ago
- Rhyme is an Expressive Data-Centric Query Language☆31Updated last week
- Engines, queries, and data for dynamic Datalog computation☆128Updated 4 years ago