Alternatives and similar repositories for rise:

Users that are interested in rise are comparing it to the libraries listed below

• elevate-lang / elevate
  The implementation of the Elevate language
  ☆29Updated last week
• rise-lang / shine
  The Shine compiler for the RISE language
  ☆79Updated this week
• rise-lang / mlir
  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
• bollu / lz
  A minimal in MLIR dialect along the lines of STG to represent laziness.
  ☆15Updated 3 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 5 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• stanford-ppl / argon
  Scala staging framework
  ☆16Updated 6 years ago
• jhellerstein / arugula
  a small C++ lattice library
  ☆15Updated 5 years ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆33Updated last month
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 9 months ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated last year
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 3 years ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆36Updated 4 months ago
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆26Updated last month
• rutgers-apl / rlibm-all
  RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…
  ☆15Updated last year
• ilya-klyuchnikov / mrsc
  A toolkit for building multi-result supercompilers
  ☆30Updated 3 years ago
• FPBench / FPBench
  A standard for floating point accuracy benchmarks
  ☆49Updated this week
• snu-sf / promising-coq
  The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
  ☆36Updated 5 months ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆34Updated 10 months ago
• herbie-fp / regraph
  Racket Equivalence Graph Library
  ☆18Updated 2 years ago
• Ekdohibs / PolyGen
  PolyGen is a code generator for the polyhedral model, written and proved in Coq.
  ☆10Updated 4 years ago
• johnwickerson / memalloy
  Memory consistency modelling using Alloy
  ☆29Updated 4 years ago
• raviqqe / fmm
  The uncurried minimal functional programming language for CPS transformation
  ☆18Updated last year
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 6 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆60Updated this week
• RedlineResearch / floorplan
  Spatial layout specifications for memory management systems.
  ☆19Updated 4 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆43Updated 4 months ago
• rhyme-lang / rhyme
  Rhyme is an Expressive Data-Centric Query Language
  ☆27Updated last week