Alternatives and similar repositories for spectre-rust

Users that are interested in spectre-rust are comparing it to the libraries listed below

• Amanieu / a-tale-of-binary-translation
  Simple RISC-V emulator presented at Rust Nation 2023
  ☆67Updated 2 years ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆82Updated last year
• CharlyCst / miralis
  Miralis is a RISC-V firmware that virtualizes RISC-V firmware
  ☆40Updated this week
• nbdd0121 / r2vm
  Rust RISC-V Virtual Machine
  ☆111Updated 4 months ago
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆79Updated 3 months ago
• jix / zwohash
  A fast, deterministic, non-cryptographic hash for use in hash tables for Rust
  ☆15Updated 4 years ago
• GregAC / rrs
  Rust RISC-V Simulator
  ☆42Updated last year
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆83Updated 2 years ago
• rust-vmm / seccompiler
  Provides easy-to-use Linux seccomp-bpf jailing.
  ☆104Updated 2 weeks ago
• Freax13 / test-kernel
  ☆13Updated 3 years ago
• oeb25 / smtlib-rs
  A high-level API for interacting with SMT solvers.
  ☆32Updated last week
• cdisselkoen / llvm-ir-analysis
  ☆74Updated last year
• bytecodealliance / wasm-score
  A benchmark for standalone WebAssembly
  ☆37Updated last year
• fintelia / riscv-decode
  Simple library for decoding RISC-V instructions
  ☆24Updated last month
• zdimension / parm_extended
  ☆52Updated last month
• mlir-rs / mlir-sys
  Rust bindings to the MLIR C API.
  ☆69Updated last month
• chipsalliance / caliptra-sw
  Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test
  ☆131Updated this week
• tchajed / minimal-elf
  Creating a minimal ELF file
  ☆119Updated 7 months ago
• secure-foundations / rWasm
  A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler
  ☆38Updated last year
• LawrenceHunter / SentinelBoot
  A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
  ☆67Updated last year
• kevin-lesenechal / elf-info
  Inspect and dissect an ELF file with pretty formatting.
  ☆115Updated last year
• riscv / riscv-cfi
  This specification is integrated into the Priv. and Unpriv. specifications. This repo is no longer maintained. Please refer to the Priv. …
  ☆93Updated this week
• Amanieu / mini-backtrace
  Backtrace support for Rust `no_std` and embedded programs.
  ☆48Updated 2 years ago
• bytecodealliance / userfaultfd-rs
  Rust bindings for the Linux userfaultfd functionality
  ☆46Updated 2 months ago
• FractalFir / memory_pages
  `memory_pages` is a small library provinig a cross-platform API to request pages from kernel with certain premisions
  ☆30Updated 2 years ago
• qemu-rs / qemu-rs
  QEMU for Rust, and Rust for QEMU
  ☆83Updated 2 weeks ago
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆53Updated 5 months ago
• KuangjuX / hypocaust
  hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.
  ☆48Updated 2 years ago
• novafacing / cannonball
  Deprecated! Use qemu-rs instead :)
  ☆72Updated 2 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 …
  ☆193Updated last week