bollu / lz
A minimal in MLIR dialect along the lines of STG to represent laziness.
☆15Updated 3 years ago
Alternatives and similar repositories for lz:
Users that are interested in lz are comparing it to the libraries listed below
- embedding MLIR in LEAN☆47Updated 10 months ago
- Declarative MLIR compilers in Python!☆33Updated 4 years ago
- The Shine compiler for the RISE language☆82Updated last month
- benchmarking e-graph extraction☆37Updated 5 months ago
- sketches for egg: a flexible, high-performance e-graph library☆27Updated last month
- Haskell bindings for MLIR☆106Updated 2 months ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆42Updated this week
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…☆31Updated 3 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated 8 months ago
- Implementation of the RISE language☆14Updated 4 years ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆17Updated 9 months ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- LLVM support for the lean theorem prover☆47Updated 3 years ago
- MimIR is my Intermediate Representation☆66Updated last week
- Racket Equivalence Graph Library☆19Updated 2 years ago
- A enumerator for MLIR, relying on the information given by IRDL.☆19Updated last month
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- Haskell experiments involving TVM AI framework☆20Updated 6 years ago
- Translate Python and JavaScript into MLIR☆15Updated 2 years ago
- Formally verified implementation of Alive in Lean☆36Updated last year
- Encoding of GHC Core inside MLIR☆18Updated 4 years ago
- Java-like Language with Static Information Flow Types☆12Updated 3 years ago
- PolyGen is a code generator for the polyhedral model, written and proved in Coq.☆10Updated 4 years ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated last year
- SSA vs ANF☆42Updated 9 years ago
- A standard for floating point accuracy benchmarks☆49Updated last month
- Embedded Universal DSL: a good DSL for us, by us☆36Updated this week
- The implementation of the Elevate language☆29Updated last month
- ☆16Updated 3 years ago