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
  ☆82Updated this week
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆211Updated last week
• cfallin / waffle
  ☆58Updated 4 months ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆105Updated 3 years ago
• lorepozo / polytype-rs
  A Hindley-Milner polymorphic typing system
  ☆60Updated last year
• memoryleak47 / slotted-egraphs
  ☆36Updated 2 months ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆108Updated 3 months ago
• vaivaswatha / pliron
  An Extensible Compiler IR Framework
  ☆224Updated this week
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆95Updated last week
• brownsys / paralegal
  Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.
  ☆41Updated last week
• cdisselkoen / llvm-ir-analysis
  ☆76Updated last year
• bytecodealliance / regalloc2
  A new register allocator
  ☆243Updated 2 weeks ago
• descend-lang / descend
  An attempt at safe imperative GPU programming.
  ☆58Updated 3 months ago
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆50Updated 3 years ago
• lazear / types-and-programming-languages
  Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
  ☆210Updated 5 years ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆49Updated 3 weeks ago
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆263Updated last month
• gvilums / ptoxide
  Virtual machine for executing CUDA PTX without a GPU
  ☆39Updated 2 years ago
• kaist-cp / circ
  CIRC: Concurrent Immediate Reference Counting
  ☆53Updated last year
• cbeuw / rustlantis
  UB-free and deterministic rustc fuzzer
  ☆93Updated 2 weeks ago
• phate / jlm
  ☆72Updated last week
• IntelLabs / asl-interpreter
  Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)
  ☆24Updated 2 months ago
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆45Updated last year
• Marwes / pretty.rs
  Wadler-style pretty-printing combinators in Rust
  ☆172Updated 2 months ago
• matthiaskrgr / icemaker
  automatially find crashes in the rust compiler & tooling
  ☆78Updated last year
• hopv / rust-horn
  RustHorn: A CHC-based automated verifier for Rust
  ☆87Updated 8 months ago
• mlir-rs / melior
  The rustic MLIR bindings in Rust
  ☆450Updated this week
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆27Updated last year
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆34Updated 4 months ago
• miestrode / ekege
  A different approach to an E-graph library
  ☆28Updated 6 months ago