Alternatives and similar repositories for mirilli

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

• matthiaskrgr / icemaker
  automatially find crashes in the rust compiler & tooling
  ☆78Updated last year
• cognitive-engineering-lab / rustc_plugin
  A framework for writing plugins that integrate with the Rust compiler
  ☆162Updated 3 months ago
• Noratrieb / cargo-minimize
  A tool to help with minimization of Rust code
  ☆63Updated 2 months ago
• dtolnay / macro-string
  Eager evaluation of macros like `concat!` and `env!`
  ☆41Updated this week
• BorrowSanitizer / bsan
  Finding ownership bugs at scale.
  ☆26Updated this week
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆27Updated last year
• cdisselkoen / llvm-ir-analysis
  ☆74Updated last year
• robinmoussu / cargo-callgraph
  Callgraph generation for rust project
  ☆78Updated 3 years ago
• ia0 / unsafe-mental-model
  Mental model for unsafe in Rust
  ☆18Updated 10 months ago
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆98Updated last month
• JoshMcguigan / backlight
  A dynamic binary tracing tool
  ☆67Updated 3 years ago
• tczajka / bigint-benchmark-rs
  Bechmarks for Rust big integer implementations
  ☆64Updated last year
• zesterer / ffd
  Fast Function Dispatch: Improving the performance of Rust's dynamic function calls
  ☆36Updated last year
• sslab-gatech / Rudra-PoC
  Trophy case for Rudra bugs.
  ☆40Updated last year
• 2dav / crabgrind
  "Valgrind Client Request" interface for Rust programs
  ☆18Updated 11 months ago
• KomaEc / crown
  Ownership analysis that helps translating C to Rust
  ☆31Updated last month
• endorlabs / MIRAI
  ☆190Updated 9 months ago
• cbeuw / rustlantis
  UB-free and deterministic rustc fuzzer
  ☆92Updated this week
• oli-obk / ui_test
  A test framework for testing rustc diagnostics output
  ☆37Updated this week
• ferrilab / ferrilab
  Experimenting with Rust's fundamental data model
  ☆55Updated 2 months ago
• Rust-for-Linux / pin-init
  Library facilitating safe pinned initialization
  ☆73Updated last week
• rust-formal-methods / rust-formal-methods.github.io
  ☆12Updated last week
• Gankra / sptr
  sptr: The Strict Provenance Polyfill
  ☆75Updated 2 years ago
• danielhenrymantilla / lending-iterator.rs
  Lending iterators on stable Rust
  ☆83Updated last year
• BurntSushi / duration-unit-lookup
  How fast can we recognize a word from a small pre-determined set?
  ☆83Updated 10 months ago
• Amanieu / a-tale-of-binary-translation
  Simple RISC-V emulator presented at Rust Nation 2023
  ☆67Updated 2 years ago
• kamirr / math-jit
  ☆35Updated 11 months ago
• Shnatsel / bounds-check-cookbook
  Recipes for avoiding bounds checks in Rust, without unsafe!
  ☆131Updated 2 years ago
• ejmahler / strength_reduce
  Faster integer division and modulus operations
  ☆87Updated 6 months ago
• BoxyUwU / rust-quiz
  ☆68Updated last month