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 4 months ago
• gimli-rs / locate-dwarf
  A crate to find DWARF debug symbols from stripped binaries
  ☆22Updated 2 years ago
• fklr / atomalloc
  atomalloc is an asynchronous, atomic, and lock-free memory allocator written in pure safe Rust
  ☆29Updated 5 months ago
• PLSysSec / haybale-pitchfork
  Verifying constant-time code with symbolic execution
  ☆44Updated 3 years ago
• Rust-for-Linux / nix
  Efforts for packaging the Rust for Linux project with the Nix package manager
  ☆57Updated 6 months ago
• divviup / janus
  Experimental implementation of the Distributed Aggregation Protocol (DAP) specification.
  ☆63Updated this week
• WebAssembly / instrument-tracing
  Proposal to add instrumentation and tracing instructions to WebAssembly
  ☆16Updated 3 years ago
• komora-io / stack-map
  constant-size associative container backed by a simple array
  ☆19Updated 2 years ago
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆124Updated 2 months ago
• wasm-signatures / design
  Initial discussions on signatures of WebAssembly modules.
  ☆17Updated 3 years ago
• tosc-rs / mgnp
  MnemOS Global Networking Protocol
  ☆15Updated last year
• jedisct1 / rust-minisign-verify
  A small Rust crate to verify Minisign signatures.
  ☆37Updated 3 months ago
• eddyb / sobek
  Reverse engineering framework.
  ☆36Updated 3 years ago
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆118Updated 2 years ago
• PLSysSec / ct-wasm
  Constant-Time WebAssembly
  ☆24Updated 6 years ago
• whentze / stringos-from-userspace
  String OS from User Space!
  ☆11Updated 2 years ago
• bitwiseshiftleft / compressed_map
  Frayed ribbon filter cascade
  ☆48Updated 2 years ago
• enarx-archive / enarx-keepldr
  Enarx Keep Loader
  ☆15Updated 3 years ago
• ymjing / tabbyssl
  Previously MesaLink, TabbySSL is an OpenSSL compatibility layer for the Rust TLS stack.
  ☆50Updated 3 years ago
• rust-vmm / seccompiler
  Provides easy-to-use Linux seccomp-bpf jailing.
  ☆95Updated last month
• macaroon-rs / macaroon
  Rust implementation of macaroons.
  ☆20Updated 2 years ago
• oxidecomputer / tockilator
  Deducing Tock execution flows from Ibex Verilator traces
  ☆70Updated 3 years ago
• jedisct1 / rust-cpace
  A Rust implementation of CPace, a balanced PAKE.
  ☆25Updated last year
• rust-lang / rust-log-analyzer
  Analyzing Travis and Azure Pipelines logs to find encountered errors
  ☆46Updated 2 months ago
• wackywendell / basicalloc
  ☆15Updated 2 years ago
• FauxFaux / ext4-rs
  Read files directly from ext4 filesystem images
  ☆58Updated last year
• alecmocatta / palaver
  Cross-platform polyfills.
  ☆17Updated 2 years ago
• komora-io / pagetable
  wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata
  ☆40Updated last year
• langston-barrett / mogglo
  Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns
  ☆30Updated last year