Alternatives and similar repositories for spectre-rust

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

• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆84Updated 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 …
  ☆197Updated this week
• chipsalliance / caliptra-sw
  Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test
  ☆133Updated this week
• RReverser / wasmbin
  A self-generating WebAssembly parser & serializer in Rust.
  ☆25Updated 8 months ago
• nbdd0121 / r2vm
  Rust RISC-V Virtual Machine
  ☆112Updated 4 months ago
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆179Updated last month
• CharlyCst / miralis
  Miralis is a RISC-V firmware that virtualizes RISC-V firmware
  ☆41Updated this week
• bytecodealliance / wasm-score
  A benchmark for standalone WebAssembly
  ☆37Updated last year
• Amanieu / a-tale-of-binary-translation
  Simple RISC-V emulator presented at Rust Nation 2023
  ☆67Updated 2 years ago
• matthiaskrgr / icemaker
  automatially find crashes in the rust compiler & tooling
  ☆80Updated last year
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆45Updated this week
• omniglot-rs / omniglot
  Safe Interactions with Foreign Languages through Omniglot
  ☆47Updated last month
• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆126Updated 6 months ago
• timmclean / rust-timing-shield
  Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/
  ☆56Updated 2 years ago
• jwnhy / coffer
  Coffer is a RISC-V trusted execution environment developed in Rust.
  ☆21Updated 3 years ago
• cdisselkoen / llvm-ir-analysis
  ☆74Updated last year
• tosc-rs / mgnp
  MnemOS Global Networking Protocol
  ☆15Updated last year
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆64Updated last year
• rust-vmm / seccompiler
  Provides easy-to-use Linux seccomp-bpf jailing.
  ☆105Updated last month
• Amanieu / mini-backtrace
  Backtrace support for Rust `no_std` and embedded programs.
  ☆48Updated 2 years ago
• Freax13 / test-kernel
  ☆13Updated 3 years ago
• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆190Updated this week
• mlir-rs / mlir-sys
  Rust bindings to the MLIR C API.
  ☆69Updated last month
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆53Updated 6 months ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆82Updated last year
• Neopallium / s1vm
  Fast Wasm interpreter in Rust
  ☆17Updated 3 years ago
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆98Updated last month
• cryptape / rvv-encoder
  RISC-V V Extension Encoder
  ☆11Updated 3 years ago
• fintelia / riscv-decode
  Simple library for decoding RISC-V instructions
  ☆24Updated last month
• bytecodealliance / rfcs
  RFC process for Bytecode Alliance projects
  ☆73Updated 3 months ago