CyberHive / rust-cheriLinks
Fork of Rust adding CHERI support
☆12Updated 3 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:
- Rust bindings for HACL & Evercrypt☆29Updated 2 months ago
- Ambient Authority☆21Updated 2 years ago
- atomalloc is an asynchronous, atomic, and lock-free memory allocator written in pure safe Rust☆29Updated 4 months ago
- Efforts for packaging the Rust for Linux project with the Nix package manager☆57Updated 4 months ago
- A crate to find DWARF debug symbols from stripped binaries☆22Updated 2 years ago
- Encoding and decoding for ARF strings☆14Updated 4 months ago
- Proposal to add instrumentation and tracing instructions to WebAssembly☆16Updated 3 years ago
- Frayed ribbon filter cascade☆47Updated 2 years ago
- MnemOS Global Networking Protocol☆15Updated last year
- Bertie TLS 1.3 Implementation☆119Updated last month
- Initial discussions on signatures of WebAssembly modules.☆17Updated 3 years ago
- Collection of sponge functions written in pure Rust☆46Updated 5 months ago
- Verifying constant-time code with symbolic execution☆44Updated 3 years ago
- Rust bindings for the FreeBSD capsicum framework☆63Updated last month
- Bare metal Rust support for USB armory MkII devices☆59Updated 4 years ago
- zero-g git.☆39Updated last year
- FN-DSA (Falcon) signature scheme☆43Updated 3 months ago
- Provide expansion of proc-macros, in a way that rustc directs you directly to the issues at hand☆22Updated 6 months ago
- A Zig implementation of EdDSA signatures with blind keys.☆17Updated 2 years ago
- Cross-platform polyfills.☆17Updated last year
- high-efficiency concurrent reclamation☆35Updated 10 months ago
- Rust implementation of macaroons.☆20Updated 2 years ago
- Hash Array Mapped Trie (HAMT) and Ctrie Implementations for Rust☆13Updated 2 years ago
- ☆24Updated 2 years ago
- Ed25519 suitable for use in consensus-critical contexts.☆48Updated 11 months ago
- A Rust implementation of the Strobe protocol framework☆27Updated 4 months ago
- An implementation of https://github.com/google/brotli in rust avoiding the stdlib☆56Updated 2 months ago
- Constant-Time WebAssembly☆24Updated 6 years ago
- Go implementation of Merkle Tree Certificates☆16Updated 2 months ago
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆39Updated 10 months ago