Alternatives and similar repositories for bertie

Users that are interested in bertie are comparing it to the libraries listed below

• dlrobertson / capsicum-rs
  Rust bindings for the FreeBSD capsicum framework
  ☆64Updated 3 months ago
• irrustible / ointers
  What do you call a pointer we stole the high bits off? An ointer.
  ☆87Updated 2 years ago
• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆161Updated this week
• LawrenceHunter / SentinelBoot
  A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
  ☆67Updated last year
• bitwiseshiftleft / compressed_map
  Frayed ribbon filter cascade
  ☆48Updated 2 years ago
• docfate111 / penguincrab
  rust wrapper for linux kernel library
  ☆47Updated 2 years ago
• eugeneia / rush
  Rush: Snabb written in Rust
  ☆55Updated 4 years ago
• divviup / janus
  Experimental implementation of the Distributed Aggregation Protocol (DAP) specification.
  ☆63Updated last week
• C2SP / CCTV
  Community Cryptography Test Vectors
  ☆84Updated 5 months ago
• benwr / bromberg_sl2
  Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"
  ☆58Updated 2 months ago
• wootfish / theseus.dht
  A distributed hash table with unusually strong security properties
  ☆64Updated 5 years ago
• b0bleet / zvisor
  Minimalistic hypervisor built on KVM, coded with Zig.
  ☆145Updated last year
• raphaelrobert / privacypass
  Privacy Pass implementation in Rust
  ☆46Updated 2 months ago
• cryspen / hax
  A Rust verification tool
  ☆292Updated last week
• Rust-for-Linux / nix
  Efforts for packaging the Rust for Linux project with the Nix package manager
  ☆57Updated 7 months ago
• awslabs / mls-rs
  An implementation of Messaging Layer Security (RFC 9420)
  ☆172Updated last week
• facebookincubator / haberdashery
  A collection of high-performance crypto implementations.
  ☆52Updated 5 months ago
• rorosen / zeekstd
  Rust implementation of the Zstandard Seekable Format
  ☆236Updated last month
• brannondorsey / rust-incompatible-transitive-dependencies
  An example demonstrating how Rust and cargo support incompatible transitive dependencies (like Node.js + npm not Python + pip)
  ☆31Updated last year
• AeneasVerif / eurydice
  Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆114Updated this week
• PLSysSec / haybale-pitchfork
  Verifying constant-time code with symbolic execution
  ☆44Updated 3 years ago
• kudelskisecurity / oramfs
  Resizable ORAM, remote storage agnostic, written in Rust
  ☆71Updated 3 years ago
• tosc-rs / mgnp
  MnemOS Global Networking Protocol
  ☆15Updated last year
• rust-vmm / seccompiler
  Provides easy-to-use Linux seccomp-bpf jailing.
  ☆98Updated last month
• musec / libpreopen
  Library for wrapping libc functions that require ambient authority
  ☆87Updated 6 years ago
• flavio / hermit-wasm
  A Unikernel running WebAssembly code
  ☆51Updated 2 years ago
• pornin / rust-fn-dsa
  FN-DSA (Falcon) signature scheme
  ☆45Updated 6 months ago
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆39Updated 4 months ago
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆178Updated 5 months ago
• aegis-aead / libaegis
  Portable C implementations of the AEGIS family of high-performance authenticated encryption algorithms.
  ☆99Updated 2 weeks ago