Alternatives and similar repositories for rvbt:

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

• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆65Updated 5 years ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated 3 weeks ago
• cbiffle / debugdb
  DWARF program analysis crate
  ☆17Updated 11 months ago
• Amanieu / a-tale-of-binary-translation
  Simple RISC-V emulator presented at Rust Nation 2023
  ☆62Updated 2 years ago
• Freax13 / test-kernel
  ☆13Updated 2 years ago
• cdisselkoen / llvm-ir-analysis
  ☆71Updated last year
• Amanieu / mini-backtrace
  Backtrace support for Rust `no_std` and embedded programs.
  ☆48Updated last year
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆66Updated 3 weeks ago
• pskrgag / lock_free_buddy_allocator
  Lock-free buddy allocator based on binary heap
  ☆11Updated last month
• skius / progge.rs
  Program analysis playground for a simple, imperative language
  ☆36Updated 2 years ago
• Amanieu / regalloc3
  New register allocator designed as a successor to regalloc2
  ☆36Updated last month
• rcore-os / trapframe-rs
  Handle TrapFrame across kernel and user space on multiple ISAs.
  ☆33Updated 9 months ago
• novafacing / cannonball
  Deprecated! Use qemu-rs instead :)
  ☆73Updated last year
• utaal / verified-nrkernel
  ☆18Updated this week
• tchajed / rdb
  Debugger written in Rust
  ☆22Updated 2 years ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆98Updated 2 years ago
• iximeow / regmap
  memory-mapped registers for x86_64 systems
  ☆33Updated 3 years ago
• maxwase / iot-wifi-setup
  An example of a common Wi-Fi set up scenario on ESP32 using Rust
  ☆16Updated last year
• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆61Updated 11 months ago
• cryptape / rvv-encoder
  RISC-V V Extension Encoder
  ☆11Updated 2 years ago
• rust-console / voladdress
  Allows for proper and easy handling of volatile memory
  ☆39Updated 11 months ago
• hermit-os / loader
  The Hermit bootloader.
  ☆74Updated this week
• cbeuw / rustlantis
  UB-free and deterministic rustc fuzzer
  ☆76Updated 3 months ago
• gz / rust-perfcnt
  Rust library to program hardware performance counter.
  ☆53Updated 2 years ago
• iximeow / yaxpeax-arm
  arm decoders for the yaxpeax project
  ☆25Updated 2 months ago
• cbiffle / lilosdbg
  Prototype debugger for lilos
  ☆23Updated last month
• sheredom / yair
  🦜 yair - a high-level compiler IR entirely written in Rust
  ☆38Updated 3 years ago
• kevin-lesenechal / elf-info
  Inspect and dissect an ELF file with pretty formatting.
  ☆106Updated last year
• StardustOS / stardust-oxide
  Rust-based Unikernel
  ☆126Updated last year
• oeb25 / smtlib-rs
  A high-level API for interacting with SMT solvers.
  ☆28Updated last month