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
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆78Updated last month
• oeb25 / smtlib-rs
  A high-level API for interacting with SMT solvers.
  ☆28Updated last month
• CharlyCst / miralis
  Miralis is a RISC-V firmware that virtualizes RISC-V firmware
  ☆31Updated 3 weeks ago
• fintelia / riscv-decode
  Simple library for decoding RISC-V instructions
  ☆24Updated last week
• nbdd0121 / r2vm
  Rust RISC-V Virtual Machine
  ☆107Updated last week
• Freax13 / test-kernel
  ☆13Updated 2 years ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• intel / simulator-bindings
  Rust Bindings and tools for the Intel® Simics® Simulator
  ☆14Updated this week
• cdisselkoen / llvm-ir-analysis
  ☆76Updated last year
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated last month
• novafacing / qemu-rs
  QEMU for Rust, and Rust for QEMU
  ☆77Updated this week
• digorithm / LC-3-Rust
  An LC-3 virtual machine written in Rust for learning purposes.
  ☆39Updated 2 years ago
• gz / rust-elfloader
  Library to load and relocate ELF files.
  ☆131Updated 2 years ago
• jwnhy / rvbt
  Baremetal Backtracing on RISC-V
  ☆15Updated 4 years ago
• IBM / ACE-RISCV
  Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …
  ☆182Updated last week
• jjyr / buddy-alloc
  Buddy-alloc is a memory allocator for no-std Rust, used for embedded environments.
  ☆32Updated 9 months ago
• Amanieu / regalloc3
  New register allocator designed as a successor to regalloc2
  ☆46Updated last week
• microsoft / elfcore
  A Rust crate for creating memory dumps of running processes on Linux
  ☆59Updated 2 months ago
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆62Updated last year
• AsmOptC-RiscV / Assembly-Optimized-C-RiscV
  ☆16Updated 4 years ago
• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆66Updated 5 years ago
• DianaNites / uefi-graphics
  WIP UEFI Display Driver for embedded-graphics
  ☆25Updated 4 years ago
• kino-mc / rsmt2
  A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
  ☆66Updated last year
• ethanuppal / marlin
  🦀 No nonsense hardware testing/simulation in Rust 🛠️ | Verilog, Spade, Veryl
  ☆57Updated last week
• Javier-varez / p1c0
  An embedded OS for Apple M1 Pro chipsets
  ☆18Updated last year
• toddmaustin / spectre-rust
  Spectre V1 Proof-of-Concept Attack in the Rust Language
  ☆24Updated 4 months ago
• sisshiki1969 / monoasm
  In-memory x86-64 assembler for JIT compiler.
  ☆76Updated 4 months ago
• virtee / tdx
  Rust library for Intel TDX
  ☆25Updated 2 months ago
• tchajed / minimal-elf
  Creating a minimal ELF file
  ☆119Updated 3 months ago