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
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆130Updated 4 months ago
• franziskuskiefer / evercrypt-rust
  Rust bindings for HACL & Evercrypt
  ☆30Updated 9 months ago
• divviup / janus
  Experimental implementation of the Distributed Aggregation Protocol (DAP) specification.
  ☆65Updated this week
• Rust-for-Linux / nix
  Efforts for packaging the Rust for Linux project with the Nix package manager
  ☆58Updated 11 months ago
• gimli-rs / locate-dwarf
  A crate to find DWARF debug symbols from stripped binaries
  ☆22Updated 2 years ago
• PLSysSec / ct-wasm
  Constant-Time WebAssembly
  ☆24Updated 7 years ago
• PLSysSec / haybale-pitchfork
  Verifying constant-time code with symbolic execution
  ☆47Updated 4 years ago
• wasm-signatures / design
  Initial discussions on signatures of WebAssembly modules.
  ☆18Updated 3 years ago
• timmclean / rust-timing-shield
  Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/
  ☆57Updated 2 years ago
• pornin / rust-fn-dsa
  FN-DSA (Falcon) signature scheme
  ☆49Updated 10 months ago
• tosc-rs / mgnp
  MnemOS Global Networking Protocol
  ☆15Updated 2 years ago
• enarx-archive / enarx-keepldr
  Enarx Keep Loader
  ☆15Updated 4 years ago
• WebAssembly / instrument-tracing
  Proposal to add instrumentation and tracing instructions to WebAssembly
  ☆16Updated 4 years ago
• rkyv / bytecheck
  Memory validation framework for Rust
  ☆75Updated 4 months ago
• bitwiseshiftleft / compressed_map
  Frayed ribbon filter cascade
  ☆48Updated 2 years ago
• wackywendell / basicalloc
  ☆15Updated 2 years ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆84Updated 2 years ago
• komora-io / stack-map
  constant-size associative container backed by a simple array
  ☆20Updated 2 years ago
• azaleacolburn / sonder
  Static Pointer Analyzer and Transpiler from C to Safe Rust
  ☆25Updated last month
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆54Updated 7 months ago
• jedisct1 / rust-cpace
  A Rust implementation of CPace, a balanced PAKE.
  ☆27Updated 2 years ago
• cryptocorrosion / cryptocorrosion
  Performance crypto in pure Rust
  ☆56Updated 2 months ago
• rozbb / strobe-rs
  A Rust implementation of the Strobe protocol framework
  ☆27Updated 2 months ago
• akamai-contrib / byztimed
  Byzantine-fault-tolerant time synchronization
  ☆42Updated 4 years ago
• hdevalence / text_tree
  dom-like layout for terminal applications
  ☆13Updated 5 years ago
• iqlusioninc / usbarmory.rs
  Bare metal Rust support for USB armory MkII devices
  ☆60Updated 5 years ago
• macaroon-rs / macaroon
  Rust implementation of macaroons.
  ☆23Updated 3 years ago
• jedisct1 / rust-hmac-sha512
  A small, self-contained SHA512 and HMAC-SHA512 implementation.
  ☆10Updated last week
• matklad / paxosnotes
  ☆23Updated 3 years ago