rise-lang / rise
Implementation of the RISE language
☆14Updated 4 years ago
Alternatives and similar repositories for rise:
Users that are interested in rise are comparing it to the libraries listed below
- The implementation of the Elevate language☆29Updated last month
- The Shine compiler for the RISE language☆82Updated last month
- 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
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆15Updated 3 years ago
- LVC verified compiler☆57Updated 6 years ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆42Updated last week
- Racket Equivalence Graph Library☆19Updated 2 years ago
- An interface for using mwillsey/egg with math simplification.☆13Updated 11 months ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆30Updated last week
- benchmarking e-graph extraction☆37Updated 6 months ago
- embedding MLIR in LEAN☆47Updated 10 months ago
- Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell☆16Updated 4 years ago
- Datalog + Egg = Good☆66Updated last year
- vertical + gpu + free join + datalog☆20Updated 3 months ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated 8 months ago
- sketches for egg: a flexible, high-performance e-graph library☆27Updated last month
- Haskell experiments involving TVM AI framework☆20Updated 6 years ago
- Scala staging framework☆16Updated 6 years ago
- A toolkit for building multi-result supercompilers☆30Updated 3 years ago
- Two-Level Type Theory☆28Updated 5 years ago
- Use GHC's Memory Allocator from C☆11Updated 5 years ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago
- ☆55Updated 2 weeks ago
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- Memory consistency modelling using Alloy☆29Updated 4 years ago
- The Cubicle model checker☆13Updated last year
- a playground for working with fully static tensors and automatic differentiation☆17Updated 4 years ago
- Idris LLVM codegen factored out☆80Updated 7 years ago
- MimIR is my Intermediate Representation☆69Updated this week