harp-lab / vflogLinks
vertical + gpu + free join + datalog
☆20Updated 4 months ago
Alternatives and similar repositories for vflog
Users that are interested in vflog are comparing it to the libraries listed below
Sorting:
- ☆82Updated 8 months ago
- embedding MLIR in LEAN☆47Updated last year
- Datalog + Egg = Good☆66Updated 2 years ago
- An LLVM interface for Lean 4. (WIP)☆21Updated last year
- sketches for egg: a flexible, high-performance e-graph library☆27Updated 2 months ago
- Slog 1.0☆43Updated last year
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆20Updated this week
- benchmarking e-graph extraction☆44Updated last month
- LLVM support for the lean theorem prover☆48Updated 3 years ago
- A synthesis-enabled solver for relational logic☆27Updated 7 years ago
- CN separation logic refinement type system for C☆22Updated this week
- An interface for using mwillsey/egg with math simplification.☆13Updated last year
- A parser for ANSI C, in Lean4.☆20Updated last year
- ☆16Updated last year
- A book about datalog☆12Updated 2 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- Gallina to Bedrock2 compilation toolkit☆56Updated this week
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 6 months ago
- A formalization of ML kernel languages☆15Updated this week
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated 10 months ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 3 years ago
- An extended typed Lambda Calculus☆21Updated 10 months ago
- The SAW core language.☆54Updated 4 years ago
- Logically Qualified Data Types - automatically infer refinement types☆15Updated 3 years ago
- library learning w egraphs☆18Updated 2 years ago
- Benchmark repository of polyglot effect handler examples☆24Updated 2 months ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago
- Proofs written in Lean4 for the core katydid validation algorithm☆17Updated 3 weeks ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆13Updated 4 months ago
- A language-generic implementation of equality saturation in Haskell☆21Updated 6 years ago