Alternatives and similar repositories for spectre-rust

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

• CharlyCst / miralis
  Miralis is a RISC-V firmware that virtualizes RISC-V firmware
  ☆38Updated last month
• Amanieu / a-tale-of-binary-translation
  Simple RISC-V emulator presented at Rust Nation 2023
  ☆67Updated 2 years ago
• bytecodealliance / wasm-score
  A benchmark for standalone WebAssembly
  ☆34Updated last year
• nbdd0121 / r2vm
  Rust RISC-V Virtual Machine
  ☆111Updated 3 months ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆82Updated last year
• GregAC / rrs
  Rust RISC-V Simulator
  ☆41Updated last year
• RReverser / wasmbin
  A self-generating WebAssembly parser & serializer in Rust.
  ☆24Updated 6 months ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆83Updated 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 …
  ☆192Updated last week
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆79Updated 2 months ago
• LawrenceHunter / SentinelBoot
  A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
  ☆66Updated last year
• qemu-rs / qemu-rs
  QEMU for Rust, and Rust for QEMU
  ☆80Updated 2 months ago
• chipsalliance / caliptra-sw
  Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test
  ☆128Updated this week
• cdisselkoen / llvm-ir-analysis
  ☆76Updated last year
• tchajed / minimal-elf
  Creating a minimal ELF file
  ☆119Updated 6 months ago
• riscv / riscv-cfi
  This specification is integrated into the Priv. and Unpriv. specifications. This repo is no longer maintained. Please refer to the Priv. …
  ☆92Updated last week
• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆125Updated 5 months ago
• Freax13 / test-kernel
  ☆13Updated 3 years ago
• secure-foundations / rWasm
  A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler
  ☆37Updated last year
• fintelia / riscv-decode
  Simple library for decoding RISC-V instructions
  ☆24Updated last week
• rust-vmm / seccompiler
  Provides easy-to-use Linux seccomp-bpf jailing.
  ☆102Updated 3 weeks ago
• matthiaskrgr / icemaker
  automatially find crashes in the rust compiler & tooling
  ☆78Updated last year
• oeb25 / smtlib-rs
  A high-level API for interacting with SMT solvers.
  ☆32Updated last month
• CISPA-SysSec / wasmfuzz
  WebAssembly as a Fuzzing Compilation Target @ FUZZING'24
  ☆17Updated last week
• landaire / fazi
  drop-in replacement for libfuzzer
  ☆72Updated 3 months ago
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆173Updated last week
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆63Updated last year
• timmclean / rust-timing-shield
  Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/
  ☆56Updated 2 years ago
• cbeuw / rustlantis
  UB-free and deterministic rustc fuzzer
  ☆93Updated 2 weeks ago
• Amanieu / regalloc3
  New register allocator designed as a successor to regalloc2
  ☆54Updated 2 weeks ago