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
  ☆29Updated 4 months ago
• fklr / atomalloc
  atomalloc is an asynchronous, atomic, and lock-free memory allocator written in pure safe Rust
  ☆29Updated 6 months ago
• tosc-rs / mgnp
  MnemOS Global Networking Protocol
  ☆15Updated last year
• PLSysSec / haybale-pitchfork
  Verifying constant-time code with symbolic execution
  ☆44Updated 3 years ago
• jedisct1 / rust-minisign-verify
  A small Rust crate to verify Minisign signatures.
  ☆37Updated 4 months ago
• WebAssembly / instrument-tracing
  Proposal to add instrumentation and tracing instructions to WebAssembly
  ☆16Updated 4 years ago
• divviup / janus
  Experimental implementation of the Distributed Aggregation Protocol (DAP) specification.
  ☆63Updated this week
• enarx-archive / enarx-keepldr
  Enarx Keep Loader
  ☆15Updated 3 years ago
• macaroon-rs / macaroon
  Rust implementation of macaroons.
  ☆21Updated 2 years ago
• komora-io / pagetable
  wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata
  ☆41Updated last year
• Rust-for-Linux / nix
  Efforts for packaging the Rust for Linux project with the Nix package manager
  ☆57Updated 6 months ago
• komora-io / stack-map
  constant-size associative container backed by a simple array
  ☆20Updated 2 years ago
• Gankra / sptr
  sptr: The Strict Provenance Polyfill
  ☆75Updated last year
• eddyb / sobek
  Reverse engineering framework.
  ☆36Updated 3 years ago
• wasm-signatures / design
  Initial discussions on signatures of WebAssembly modules.
  ☆17Updated 3 years ago
• bytecodealliance / userfaultfd-rs
  Rust bindings for the Linux userfaultfd functionality
  ☆43Updated 3 weeks ago
• bytecodealliance / arf-strings
  Encoding and decoding for ARF strings
  ☆14Updated 6 months ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 4 years ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• lienching / pci-ids.rs
  Cross-platform Rust wrappers for the PCI ID Repository
  ☆11Updated 10 months ago
• dlrobertson / capsicum-rs
  Rust bindings for the FreeBSD capsicum framework
  ☆64Updated 3 months ago
• hdevalence / text_tree
  dom-like layout for terminal applications
  ☆13Updated 4 years ago
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆125Updated 3 months ago
• jedisct1 / rust-uuidv7
  ☆10Updated 7 months ago
• rust-lang / rust-log-analyzer
  Analyzing Travis and Azure Pipelines logs to find encountered errors
  ☆46Updated 2 months ago
• AeneasVerif / eurydice
  Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆114Updated last week
• bitwiseshiftleft / compressed_map
  Frayed ribbon filter cascade
  ☆48Updated 2 years ago
• iqlusioninc / usbarmory.rs
  Bare metal Rust support for USB armory MkII devices
  ☆60Updated 5 years ago