Alternatives and similar repositories for rust-cheri

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

• sunfishcode / ambient-authority
  Ambient Authority
  ☆21Updated 2 years ago
• tosc-rs / mgnp
  MnemOS Global Networking Protocol
  ☆15Updated last year
• franziskuskiefer / evercrypt-rust
  Rust bindings for HACL & Evercrypt
  ☆29Updated 5 months ago
• gimli-rs / locate-dwarf
  A crate to find DWARF debug symbols from stripped binaries
  ☆22Updated 2 years ago
• Rust-for-Linux / nix
  Efforts for packaging the Rust for Linux project with the Nix package manager
  ☆58Updated 7 months ago
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆125Updated this week
• WebAssembly / instrument-tracing
  Proposal to add instrumentation and tracing instructions to WebAssembly
  ☆16Updated 4 years ago
• jedisct1 / rust-cpace
  A Rust implementation of CPace, a balanced PAKE.
  ☆26Updated last year
• hdevalence / text_tree
  dom-like layout for terminal applications
  ☆13Updated 4 years ago
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆117Updated 2 years ago
• macaroon-rs / macaroon
  Rust implementation of macaroons.
  ☆21Updated 2 years ago
• komora-io / stack-map
  constant-size associative container backed by a simple array
  ☆20Updated 2 years ago
• rust-crypto-labs / rust-sike
  ☆24Updated 3 years ago
• jedisct1 / rust-minisign-verify
  A small Rust crate to verify Minisign signatures.
  ☆37Updated 4 months ago
• komora-io / fault-injection
  trigger io::Error's in test, and annotate their source
  ☆31Updated 2 years ago
• rkyv / bytecheck
  Memory validation framework for Rust
  ☆70Updated 2 weeks ago
• wasm-signatures / design
  Initial discussions on signatures of WebAssembly modules.
  ☆17Updated 3 years ago
• PLSysSec / haybale-pitchfork
  Verifying constant-time code with symbolic execution
  ☆44Updated 3 years ago
• oxidecomputer / fs3-rs
  Extended utilities for working with files and filesystems in Rust.
  ☆23Updated 4 years ago
• enarx-archive / enarx-keepldr
  Enarx Keep Loader
  ☆15Updated 3 years ago
• FauxFaux / ext4-rs
  Read files directly from ext4 filesystem images
  ☆56Updated last year
• matklad / paxosnotes
  ☆23Updated 3 years ago
• bitwiseshiftleft / compressed_map
  Frayed ribbon filter cascade
  ☆48Updated 2 years ago
• alecmocatta / palaver
  Cross-platform polyfills.
  ☆17Updated 2 years ago
• jedisct1 / rust-uuidv7
  ☆10Updated 8 months ago
• bytecodealliance / system-interface
  Extensions to the Rust standard library
  ☆49Updated 10 months ago
• iqlusioninc / usbarmory.rs
  Bare metal Rust support for USB armory MkII devices
  ☆60Updated 5 years ago
• AeneasVerif / eurydice
  Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆117Updated this week
• ymjing / tabbyssl
  Previously MesaLink, TabbySSL is an OpenSSL compatibility layer for the Rust TLS stack.
  ☆50Updated 3 years ago
• lienching / pci-ids.rs
  Cross-platform Rust wrappers for the PCI ID Repository
  ☆11Updated last week