Alternatives and similar repositories for jlm:

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

• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆94Updated 2 years ago
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆61Updated this week
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆32Updated this week
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 5 years ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆56Updated this week
• softdevteam / lang_tester
  Rust testing framework for compilers and VMs
  ☆50Updated 5 months ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆34Updated this week
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 8 months ago
• Kixiron / cranial-coitus
  An experimental RVSDG optimizer for brainfuck code
  ☆23Updated 2 years ago
• skius / progge.rs
  Program analysis playground for a simple, imperative language
  ☆36Updated 2 years ago
• phate / jive
  ☆14Updated 3 years ago
• huangguiyang / burg
  Bottom Up Rewrite Generator
  ☆25Updated 7 years ago
• pliniker / dispatchers
  Virtual Machine/Interpreter dispatch method experiments in Rust
  ☆38Updated 7 years ago
• kvverti / rusty-lavender
  The third iteration of the Lavender programming language, implemented in Rust.
  ☆13Updated 3 years ago
• matthewfl / redmagic
  A meta tracing JIT for x86 and interpreters written in C/C++
  ☆35Updated 8 years ago
• kavon / llvm-statepoint-utils
  Runtime support for LLVM's GC Statepoints
  ☆42Updated 4 years ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆35Updated 3 months ago
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆42Updated 3 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• ykjit / yk
  yk packages
  ☆32Updated this week
• brendanzab / rust-nbe-for-mltt
  Normalization by evaluation for Martin-Löf Type Theory with dependent records
  ☆98Updated 2 years ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• dannypsnl / racket-llvm
  racket llvm C-API bindings
  ☆17Updated 2 months ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆29Updated 2 years ago
• cfallin / waffle
  ☆58Updated 5 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• sdleffler / type-operators-rs
  A macro for defining type operators in Rust.
  ☆65Updated 7 years ago
• ndmitchell / interpret
  ☆38Updated 4 years ago
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆63Updated 4 years ago