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
• Rust-for-Linux / nix
  Efforts for packaging the Rust for Linux project with the Nix package manager
  ☆58Updated 8 months ago
• franziskuskiefer / evercrypt-rust
  Rust bindings for HACL & Evercrypt
  ☆29Updated 6 months ago
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆126Updated 3 weeks ago
• WebAssembly / instrument-tracing
  Proposal to add instrumentation and tracing instructions to WebAssembly
  ☆16Updated 4 years ago
• tosc-rs / mgnp
  MnemOS Global Networking Protocol
  ☆15Updated last year
• dlrobertson / capsicum-rs
  Rust bindings for the FreeBSD capsicum framework
  ☆64Updated 4 months ago
• macaroon-rs / macaroon
  Rust implementation of macaroons.
  ☆22Updated 2 years ago
• gimli-rs / locate-dwarf
  A crate to find DWARF debug symbols from stripped binaries
  ☆22Updated 2 years ago
• PLSysSec / haybale-pitchfork
  Verifying constant-time code with symbolic execution
  ☆44Updated 4 years ago
• wasm-signatures / design
  Initial discussions on signatures of WebAssembly modules.
  ☆17Updated 3 years ago
• bitwiseshiftleft / compressed_map
  Frayed ribbon filter cascade
  ☆48Updated 2 years ago
• alecmocatta / palaver
  Cross-platform polyfills.
  ☆17Updated 2 years ago
• AeneasVerif / eurydice
  Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆124Updated this week
• jedisct1 / rust-minisign-verify
  A small Rust crate to verify Minisign signatures.
  ☆37Updated 5 months ago
• rust-crypto-labs / rust-sike
  ☆24Updated 3 years ago
• jedisct1 / rust-cpace
  A Rust implementation of CPace, a balanced PAKE.
  ☆26Updated last year
• PLSysSec / ct-wasm
  Constant-Time WebAssembly
  ☆24Updated 7 years ago
• ymjing / tabbyssl
  Previously MesaLink, TabbySSL is an OpenSSL compatibility layer for the Rust TLS stack.
  ☆50Updated 3 years ago
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆117Updated 2 years ago
• dropbox / rust-brotli-decompressor
  An implementation of https://github.com/google/brotli in rust avoiding the stdlib
  ☆57Updated 6 months ago
• divviup / janus
  Experimental implementation of the Distributed Aggregation Protocol (DAP) specification.
  ☆63Updated this week
• iqlusioninc / usbarmory.rs
  Bare metal Rust support for USB armory MkII devices
  ☆60Updated 5 years ago
• kim / it
  zero-g git.
  ☆40Updated 2 years ago
• bytecodealliance / userfaultfd-rs
  Rust bindings for the Linux userfaultfd functionality
  ☆45Updated last month
• cryptocorrosion / cryptocorrosion
  Performance crypto in pure Rust
  ☆54Updated 7 months ago
• komora-io / stack-map
  constant-size associative container backed by a simple array
  ☆20Updated 2 years ago
• oxidecomputer / fs3-rs
  Extended utilities for working with files and filesystems in Rust.
  ☆23Updated 4 years ago
• orbitinghail / splinter-rs
  A compressed bitmap format optimized for small, sparse sets of u32s with zero-copy querying.
  ☆45Updated last week
• rkyv / bytecheck
  Memory validation framework for Rust
  ☆70Updated last month