Alternatives and similar repositories for rrs

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

• Amanieu / a-tale-of-binary-translation
  Simple RISC-V emulator presented at Rust Nation 2023
  ☆66Updated 2 years ago
• CharlyCst / miralis
  Miralis is a RISC-V firmware that virtualizes RISC-V firmware
  ☆28Updated last week
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆73Updated last week
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• nbdd0121 / r2vm
  Rust RISC-V Virtual Machine
  ☆105Updated 8 months ago
• veraison / rust-ccatoken
  Implementation of the Arm CCA attestation token in Rust
  ☆12Updated last week
• oeb25 / smtlib-rs
  A high-level API for interacting with SMT solvers.
  ☆28Updated 2 months ago
• intel / simulator-bindings
  Rust Bindings and tools for the Intel® Simics® Simulator
  ☆13Updated last week
• fintelia / riscv-decode
  Simple library for decoding RISC-V instructions
  ☆24Updated 11 months ago
• sarvex / offensive-llvm
  ☆21Updated last week
• cdisselkoen / llvm-ir-analysis
  ☆75Updated last year
• sisshiki1969 / monoasm
  In-memory x86-64 assembler for JIT compiler.
  ☆74Updated 3 months ago
• novafacing / qemu-rs
  QEMU for Rust, and Rust for QEMU
  ☆74Updated last month
• Freax13 / test-kernel
  ☆13Updated 2 years ago
• playX18 / asmkit
  Assembler toolkit: encoding and decoding of various architectures
  ☆34Updated 7 months ago
• virtee / tdx
  Rust library for Intel TDX
  ☆25Updated last month
• Amanieu / mini-backtrace
  Backtrace support for Rust `no_std` and embedded programs.
  ☆48Updated 2 years ago
• jjyr / buddy-alloc
  Buddy-alloc is a memory allocator for no-std Rust, used for embedded environments.
  ☆32Updated 8 months ago
• zdimension / parm_extended
  ☆52Updated last week
• AsmOptC-RiscV / Assembly-Optimized-C-RiscV
  ☆16Updated 4 years ago
• NotDec / NotDec-wasm2llvm
  Translating WebAssembly into the most simple LLVM IR.
  ☆11Updated 2 months ago
• awslabs / rust-smt-ir
  ☆40Updated 2 weeks ago
• iximeow / yaxpeax-arch
  fundamental traits to describe an architecture in the yaxpeax project
  ☆15Updated 4 months ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated 3 months ago
• iximeow / yaxpeax-arm
  arm decoders for the yaxpeax project
  ☆30Updated last month
• djanderson / riscv-5stage-simulator
  A 5-stage pipelining RISC-V 32I simulator written in Rust.
  ☆19Updated 4 years ago
• jwnhy / rvbt
  Baremetal Backtracing on RISC-V
  ☆15Updated 4 years ago
• bytecodealliance / wasm-score
  A benchmark for standalone WebAssembly
  ☆33Updated 11 months ago
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆62Updated last year
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆102Updated 3 years ago