Alternatives and similar repositories for compiler-crates

Users that are interested in compiler-crates are comparing it to the libraries listed below

• egraphs-good / eggcc
  An experimental optimizing compiler for Bril using egglog
  ☆83Updated last week
• phate / jlm
  A research compiler for exploring the Regionalized Value State Dependence Graph (RVSDG) intermediate representation
  ☆75Updated this week
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆107Updated 3 years ago
• memoryleak47 / slotted-egraphs
  ☆38Updated last week
• vaivaswatha / pliron
  An Extensible Compiler IR Framework
  ☆249Updated this week
• cdisselkoen / llvm-ir-analysis
  ☆74Updated last year
• cfallin / waffle
  ☆58Updated 6 months ago
• mlir-rs / mlir-sys
  Rust bindings to the MLIR C API.
  ☆69Updated 2 months ago
• mlir-rs / melior
  The rustic MLIR bindings in Rust
  ☆470Updated this week
• bytecodealliance / regalloc2
  A new register allocator
  ☆248Updated last week
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆286Updated 3 weeks ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆89Updated this week
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆112Updated 5 months ago
• lorepozo / polytype-rs
  A Hindley-Milner polymorphic typing system
  ☆60Updated 2 years ago
• AeneasVerif / charon
  Analyze Rust crates without touching compiler internals
  ☆281Updated this week
• descend-lang / descend
  An attempt at safe imperative GPU programming.
  ☆61Updated last week
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆34Updated 6 months ago
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆150Updated 7 months ago
• dtcxzyw / llvm-opt-benchmark
  An LLVM IR dataset for data-driven compiler optimization research
  ☆74Updated this week
• IntelLabs / asl-interpreter
  Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)
  ☆25Updated 4 months ago
• skius / progge.rs
  Program analysis playground for a simple, imperative language
  ☆38Updated 3 years ago
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆85Updated this week
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆102Updated 2 months ago
• chc4 / lineiform
  A meta-JIT library for Rust interpreters
  ☆164Updated 2 years ago
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆102Updated 7 months ago
• model-checking / rust-lean-models
  Lean models of Rust libraries
  ☆25Updated last year
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆82Updated 2 years ago
• miestrode / ekege
  A different approach to an E-graph library
  ☆28Updated 8 months ago
• tschuett / mlir-rustc
  Experimental MLIR Rust compiler
  ☆28Updated 2 years ago
• brownsys / paralegal
  Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.
  ☆44Updated 3 weeks ago