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
• franziskuskiefer / evercrypt-rust
  Rust bindings for HACL & Evercrypt
  ☆29Updated 3 months ago
• fklr / atomalloc
  atomalloc is an asynchronous, atomic, and lock-free memory allocator written in pure safe Rust
  ☆29Updated 5 months ago
• gimli-rs / locate-dwarf
  A crate to find DWARF debug symbols from stripped binaries
  ☆22Updated 2 years ago
• komora-io / stack-map
  constant-size associative container backed by a simple array
  ☆19Updated 2 years ago
• tosc-rs / mgnp
  MnemOS Global Networking Protocol
  ☆15Updated last year
• alecmocatta / palaver
  Cross-platform polyfills.
  ☆17Updated last year
• WebAssembly / instrument-tracing
  Proposal to add instrumentation and tracing instructions to WebAssembly
  ☆16Updated 3 years ago
• bitwiseshiftleft / compressed_map
  Frayed ribbon filter cascade
  ☆48Updated 2 years ago
• jedisct1 / rust-minisign-verify
  A small Rust crate to verify Minisign signatures.
  ☆37Updated 2 months ago
• dlrobertson / capsicum-rs
  Rust bindings for the FreeBSD capsicum framework
  ☆64Updated last month
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆124Updated 2 months ago
• rkyv / bytecheck
  Memory validation framework for Rust
  ☆69Updated 6 months ago
• divviup / janus
  Experimental implementation of the Distributed Aggregation Protocol (DAP) specification.
  ☆61Updated this week
• komora-io / inline-array
  ☆11Updated 10 months ago
• komora-io / ebr
  high-efficiency concurrent reclamation
  ☆35Updated 11 months ago
• EmbarkStudios / tame-index
  Small crate for interacting with cargo registry indices
  ☆25Updated last month
• eddyb / sobek
  Reverse engineering framework.
  ☆36Updated 3 years ago
• jedisct1 / rust-cpace
  A Rust implementation of CPace, a balanced PAKE.
  ☆25Updated last year
• kim / it
  zero-g git.
  ☆40Updated 2 years ago
• komora-io / pagetable
  wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata
  ☆40Updated 11 months ago
• gnzlbg / match_cfg
  Convenience macro for defining items depending on large number of #[cfg]s
  ☆9Updated 6 years ago
• matklad / paxosnotes
  ☆23Updated 2 years ago
• Rust-for-Linux / nix
  Efforts for packaging the Rust for Linux project with the Nix package manager
  ☆57Updated 5 months ago
• wasm-signatures / design
  Initial discussions on signatures of WebAssembly modules.
  ☆17Updated 3 years ago
• macaroon-rs / macaroon
  Rust implementation of macaroons.
  ☆20Updated 2 years ago
• hacspec / rust-secret-integers
  Wrappers around Rust's integer to check for constant-time-compatible usage
  ☆22Updated 5 years ago
• AeneasVerif / eurydice
  Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆110Updated this week
• wackywendell / basicalloc
  ☆15Updated 2 years ago
• graydon / bocu1
  a BOCU-1 encoder/decoder library in rust
  ☆18Updated 2 years ago