CyberHive / rust-cheriLinks
Fork of Rust adding CHERI support
☆13Updated 7 months ago
Alternatives and similar repositories for rust-cheri
Users that are interested in rust-cheri are comparing it to the libraries listed below
Sorting:
- Ambient Authority☆21Updated 2 years ago
- Rust bindings for HACL & Evercrypt☆30Updated 6 months ago
- MnemOS Global Networking Protocol☆15Updated last year
- A crate to find DWARF debug symbols from stripped binaries☆22Updated 2 years ago
- constant-size associative container backed by a simple array☆20Updated 2 years ago
- A GitHub action that allows users to subscribe to a label and automatically get @'d when the label is applied☆12Updated 2 years ago
- A Rust implementation of CPace, a balanced PAKE.☆26Updated last year
- Experimental implementation of the Distributed Aggregation Protocol (DAP) specification.☆63Updated this week
- Efforts for packaging the Rust for Linux project with the Nix package manager☆58Updated 8 months ago
- Rust implementation of macaroons.☆22Updated 2 years ago
- Check that a crate builds without libstd☆25Updated 4 years ago
- dom-like layout for terminal applications☆13Updated 4 years ago
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆41Updated last year
- Memory validation framework for Rust☆70Updated last month
- Bertie TLS 1.3 Implementation☆126Updated last month
- ☆12Updated 3 months ago
- Cross-platform polyfills.☆17Updated 2 years ago
- wrap errors with automatic backtrace capture and print-on-result-unwrap☆32Updated last year
- Analyzing Travis and Azure Pipelines logs to find encountered errors☆46Updated 4 months ago
- Proposal to add instrumentation and tracing instructions to WebAssembly☆16Updated 4 years ago
- A small Rust crate to verify Minisign signatures.☆37Updated 6 months ago
- Wrappers around Rust's integer to check for constant-time-compatible usage☆22Updated 5 years ago
- ☆24Updated 3 years ago
- Bare metal Rust support for USB armory MkII devices☆60Updated 5 years ago
- ☆23Updated 3 years ago
- sptr: The Strict Provenance Polyfill☆75Updated 2 years ago
- Verifying constant-time code with symbolic execution