kovach / etch
☆16Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for etch
- A (WIP) equality saturation tactic for Lean based on egg.☆39Updated this week
- ☆22Updated last year
- A minimal development of SSA theory☆88Updated this week
- Interval arithmetic for real computation☆21Updated this week
- Implementation of higher-order logic in Python☆57Updated last year
- A StableHLO analyzer in Lean☆15Updated last month
- egraph <-> json☆12Updated last month
- WIP collections library for Lean 4☆30Updated this week
- Pull your compiler up with abstract bootstraps.☆31Updated last year
- embedding MLIR in LEAN☆47Updated 4 months ago
- ☆15Updated 2 years ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 5 years ago
- Python bindings for the egg-smol rust library☆64Updated this week
- A Haskell probabilistic programming library.☆16Updated this week
- A monadic library for symbolic evaluation☆54Updated this week
- Formalizing convex polyhedra in Coq☆22Updated 4 months ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated last year
- Python bindings for egg☆47Updated last year
- A verified polyhedral scheduling validator in Coq.☆19Updated last month
- egraph on top of sqlite☆12Updated 2 years ago
- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition☆24Updated 5 months ago
- A gentle introduction to Isabelle and Isabelle/HOL☆10Updated 3 months ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆31Updated last month
- sketches for egg: a flexible, high-performance e-graph library☆25Updated 4 months ago
- ☆13Updated last year
- Racket Equivalence Graph Library☆18Updated 2 years ago
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆12Updated this week
- Convex optimization modeling in Lean 4☆40Updated 5 months ago
- EGraphs in OCaml☆60Updated 9 months ago
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆14Updated 3 years ago