Alternatives and similar repositories for rust-cheri

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

• franziskuskiefer / evercrypt-rust
  Rust bindings for HACL & Evercrypt
  ☆30Updated 7 months ago
• sunfishcode / ambient-authority
  Ambient Authority
  ☆21Updated 2 years ago
• komora-io / stack-map
  constant-size associative container backed by a simple array
  ☆20Updated 2 years ago
• jedisct1 / rust-minisign-verify
  A small Rust crate to verify Minisign signatures.
  ☆37Updated 6 months ago
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆130Updated 2 months ago
• Rust-for-Linux / nix
  Efforts for packaging the Rust for Linux project with the Nix package manager
  ☆58Updated 9 months ago
• WebAssembly / instrument-tracing
  Proposal to add instrumentation and tracing instructions to WebAssembly
  ☆16Updated 4 years ago
• gimli-rs / locate-dwarf
  A crate to find DWARF debug symbols from stripped binaries
  ☆22Updated 2 years ago
• tosc-rs / mgnp
  MnemOS Global Networking Protocol
  ☆15Updated last year
• eddyb / sobek
  Reverse engineering framework.
  ☆36Updated 3 years ago
• varlink / linux-varlink
  Proof-of-Concept Linux kernel module to export kernel APIs over kernel device nodes
  ☆31Updated 7 years ago
• dlrobertson / capsicum-rs
  Rust bindings for the FreeBSD capsicum framework
  ☆64Updated 2 weeks ago
• hermit-os / hermit-rs-template
  An application template for Hermit for Rust.
  ☆37Updated 2 weeks ago
• enarx-archive / enarx-keepldr
  Enarx Keep Loader
  ☆15Updated 4 years ago
• rkyv / bytecheck
  Memory validation framework for Rust
  ☆71Updated 2 months ago
• divviup / janus
  Experimental implementation of the Distributed Aggregation Protocol (DAP) specification.
  ☆64Updated this week
• lienching / pci-ids.rs
  Cross-platform Rust wrappers for the PCI ID Repository
  ☆11Updated 2 months ago
• PLSysSec / haybale-pitchfork
  Verifying constant-time code with symbolic execution
  ☆45Updated 4 years ago
• rust-crypto-labs / rust-sike
  ☆25Updated 3 years ago
• insanitybit / autobox
  A set of tools and libraries for automatically generating and initiating sandboxes for Rust programs
  ☆15Updated 3 years ago
• facebookincubator / haberdashery
  A collection of high-performance crypto implementations.
  ☆52Updated 3 weeks ago
• macaroon-rs / macaroon
  Rust implementation of macaroons.
  ☆23Updated 2 years ago
• hacspec / rust-secret-integers
  Wrappers around Rust's integer to check for constant-time-compatible usage
  ☆23Updated 5 years ago
• alecmocatta / palaver
  Cross-platform polyfills.
  ☆17Updated 2 years ago
• iqlusioninc / usbarmory.rs
  Bare metal Rust support for USB armory MkII devices
  ☆60Updated 5 years ago
• Gankra / sptr
  sptr: The Strict Provenance Polyfill
  ☆75Updated 2 years ago
• kevin-lesenechal / nucloid
  Simple monolithic kernel written in Rust for x86-64
  ☆23Updated 9 months ago
• PLSysSec / ct-wasm
  Constant-Time WebAssembly
  ☆24Updated 7 years ago
• oxidecomputer / tockilator
  Deducing Tock execution flows from Ibex Verilator traces
  ☆70Updated 3 years ago
• mystor / cargo-no-std-check
  Check that a crate builds without libstd
  ☆25Updated 4 years ago