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
• gimli-rs / locate-dwarf
  A crate to find DWARF debug symbols from stripped binaries
  ☆22Updated 2 years ago
• franziskuskiefer / evercrypt-rust
  Rust bindings for HACL & Evercrypt
  ☆30Updated 9 months ago
• dlrobertson / capsicum-rs
  Rust bindings for the FreeBSD capsicum framework
  ☆64Updated last month
• WebAssembly / instrument-tracing
  Proposal to add instrumentation and tracing instructions to WebAssembly
  ☆16Updated 4 years ago
• Rust-for-Linux / nix
  Efforts for packaging the Rust for Linux project with the Nix package manager
  ☆58Updated 11 months ago
• wasm-signatures / design
  Initial discussions on signatures of WebAssembly modules.
  ☆18Updated 3 years ago
• bytecodealliance / arf-strings
  Encoding and decoding for ARF strings
  ☆14Updated 10 months ago
• PLSysSec / haybale-pitchfork
  Verifying constant-time code with symbolic execution
  ☆47Updated 4 years ago
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆130Updated 3 months ago
• macaroon-rs / macaroon
  Rust implementation of macaroons.
  ☆23Updated 3 years ago
• komora-io / stack-map
  constant-size associative container backed by a simple array
  ☆20Updated 2 years ago
• EmbarkStudios / tame-index
  Small crate for interacting with cargo registry indices
  ☆28Updated 3 weeks ago
• lienching / pci-ids.rs
  Cross-platform Rust wrappers for the PCI ID Repository
  ☆11Updated 3 months ago
• iqlusioninc / usbarmory.rs
  Bare metal Rust support for USB armory MkII devices
  ☆60Updated 5 years ago
• jedisct1 / rust-minisign-verify
  A small Rust crate to verify Minisign signatures.
  ☆38Updated 8 months ago
• oxidecomputer / tockilator
  Deducing Tock execution flows from Ibex Verilator traces
  ☆70Updated 3 years ago
• kim / it
  zero-g git.
  ☆40Updated 2 years ago
• tosc-rs / mgnp
  MnemOS Global Networking Protocol
  ☆15Updated 2 years ago
• rkyv / bytecheck
  Memory validation framework for Rust
  ☆75Updated 4 months ago
• divviup / janus
  Experimental implementation of the Distributed Aggregation Protocol (DAP) specification.
  ☆65Updated this week
• jedisct1 / rust-uuidv7
  ☆10Updated last year
• dropbox / rust-brotli-decompressor
  An implementation of https://github.com/google/brotli in rust avoiding the stdlib
  ☆58Updated 9 months ago
• PLSysSec / ct-wasm
  Constant-Time WebAssembly
  ☆24Updated 7 years ago
• insanitybit / autobox
  A set of tools and libraries for automatically generating and initiating sandboxes for Rust programs
  ☆15Updated 3 years ago
• alecmocatta / palaver
  Cross-platform polyfills.
  ☆17Updated 2 years ago
• oxidecomputer / fs3-rs
  Extended utilities for working with files and filesystems in Rust.
  ☆23Updated 4 years ago
• eddyb / sobek
  Reverse engineering framework.
  ☆36Updated 3 years ago
• rust-secure-code / cargo-repro
  Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow
  ☆59Updated 4 years ago
• alex / just-use
  Just Use /dev/urandom -- now with more safety at early boot
  ☆59Updated 5 years ago