uwplse / szalinski
Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
☆45Updated last year
Related projects ⓘ
Alternatives and complementary repositories for szalinski
- LLVM support for the lean theorem prover☆31Updated 3 years ago
- Lean 4 as a scripting language in Houdini☆15Updated 8 months ago
- An LLVM interface for Lean 4. (WIP)☆15Updated last year
- Python bindings for egg☆47Updated last year
- Library implementing type inference/checking functionality based on the Lean theorem prover☆39Updated 4 months ago
- Symbolic Geometric Algebra with E-Graphs☆18Updated last year
- A formal consistency proof of Quine's set theory New Foundations☆66Updated this week
- embedding MLIR in LEAN☆47Updated 5 months ago
- benchmarking e-graph extraction☆36Updated last week
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆68Updated 3 months ago
- a Rust implementation of first-order term rewriting systems (TRS)☆27Updated 2 years ago
- Rust bindings for the Lean 4 proof assistant☆19Updated 5 months ago
- A (WIP) equality saturation tactic for Lean based on egg.☆41Updated last week
- Datalog + Egg = Good☆65Updated last year
- Pull your compiler up with abstract bootstraps.☆31Updated last year
- Some unstructured notes concerning the Broad tutorial to take place in March 2020☆31Updated 3 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated last year
- Functional Programming in Lean☆71Updated 6 months ago
- Lean4 port of Arduino balance car controller☆44Updated 3 years ago
- This package provides an interface and foundation for verified SAT reasoning☆49Updated 2 months ago
- sketches for egg: a flexible, high-performance e-graph library☆25Updated 5 months ago
- Reincarnate Artifact for ICFP 2018☆13Updated 4 months ago
- Armv8 Native Code Symbolic Simulator in Lean☆63Updated this week
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆16Updated 2 years ago
- ☆15Updated 2 years ago
- Template for Lean<->Rust FFI☆11Updated 9 months ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆59Updated last week
- ☆12Updated 2 years ago
- A date and time library for Lean 4☆11Updated 7 months ago
- Rewrite Rule Inference Using Equality Saturation☆118Updated 5 months ago