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
• oeb25 / smtlib-rs
  A high-level API for interacting with SMT solvers.
  ☆28Updated last week
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆76Updated last month
• cdisselkoen / llvm-ir-analysis
  ☆75Updated last year
• Freax13 / test-kernel
  ☆13Updated 2 years ago
• intel / simulator-bindings
  Rust Bindings and tools for the Intel® Simics® Simulator
  ☆14Updated this week
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• novafacing / qemu-rs
  QEMU for Rust, and Rust for QEMU
  ☆75Updated 2 months ago
• fintelia / riscv-decode
  Simple library for decoding RISC-V instructions
  ☆24Updated 11 months ago
• toddmaustin / spectre-rust
  Spectre V1 Proof-of-Concept Attack in the Rust Language
  ☆24Updated 4 months ago
• digorithm / LC-3-Rust
  An LC-3 virtual machine written in Rust for learning purposes.
  ☆39Updated 2 years ago
• iximeow / yaxpeax-arm
  arm decoders for the yaxpeax project
  ☆31Updated 2 months ago
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆62Updated last year
• trailofbits / test-fuzz
  To make fuzzing Rust easy
  ☆185Updated 3 weeks ago
• nbdd0121 / r2vm
  Rust RISC-V Virtual Machine
  ☆106Updated 9 months ago
• RReverser / wasmbin
  A self-generating WebAssembly parser & serializer in Rust.
  ☆20Updated 3 months ago
• CharlyCst / miralis
  Miralis is a RISC-V firmware that virtualizes RISC-V firmware
  ☆30Updated last week
• virtee / tdx
  Rust library for Intel TDX
  ☆25Updated last month
• Amanieu / regalloc3
  New register allocator designed as a successor to regalloc2
  ☆45Updated last month
• 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
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated 2 weeks ago
• gz / rust-elfloader
  Library to load and relocate ELF files.
  ☆131Updated 2 years ago
• jjyr / buddy-alloc
  Buddy-alloc is a memory allocator for no-std Rust, used for embedded environments.
  ☆32Updated 9 months ago
• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆67Updated 5 years ago
• iankronquist / rustyvisor
  A hypervisor written in Rust.
  ☆126Updated 3 years ago
• timmclean / rust-timing-shield
  Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/
  ☆55Updated last year
• milkyapps / llvmgr
  LLVM Manager - downloads, compiles and installs LLVM versions
  ☆9Updated 10 months ago
• landaire / lain
  A structured fuzzing framework built in Rust
  ☆26Updated 2 years ago
• japaric / tlsf
  An implementation of the Two-Level Segregated Fit (TLSF) allocator with optimized memory footprint
  ☆13Updated last year
• IBM / ACE-RISCV
  Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …
  ☆177Updated last week