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 last month
• irrustible / ointers
  What do you call a pointer we stole the high bits off? An ointer.
  ☆89Updated last month
• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆190Updated 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
• PLSysSec / haybale-pitchfork
  Verifying constant-time code with symbolic execution
  ☆46Updated 4 years ago
• raphaelrobert / privacypass
  Privacy Pass implementation in Rust
  ☆55Updated last month
• divviup / janus
  Experimental implementation of the Distributed Aggregation Protocol (DAP) specification.
  ☆65Updated this week
• bitwiseshiftleft / compressed_map
  Frayed ribbon filter cascade
  ☆48Updated 2 years ago
• Rust-for-Linux / nix
  Efforts for packaging the Rust for Linux project with the Nix package manager
  ☆58Updated 10 months ago
• facebookincubator / haberdashery
  A collection of high-performance crypto implementations.
  ☆52Updated last month
• yosefk / refix
  replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds
  ☆31Updated last year
• wootfish / theseus.dht
  A distributed hash table with unusually strong security properties
  ☆65Updated 6 years ago
• rozbb / molasses
  A Rust implementation of the Message Layer Security group messaging protocol
  ☆116Updated 2 years ago
• pornin / rust-fn-dsa
  FN-DSA (Falcon) signature scheme
  ☆49Updated 9 months ago
• eugeneia / rush
  Rush: Snabb written in Rust
  ☆55Updated 4 years ago
• awslabs / mls-rs
  An implementation of Messaging Layer Security (RFC 9420)
  ☆191Updated this week
• benwr / bromberg_sl2
  Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"
  ☆62Updated 6 months ago
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆119Updated 2 years ago
• C2SP / CCTV
  Community Cryptography Test Vectors
  ☆96Updated last week
• veorq / spc
  A tweakable block cipher
  ☆31Updated last year
• awslabs / duvet
  A requirements traceability tool
  ☆103Updated 3 weeks ago
• franziskuskiefer / evercrypt-rust
  Rust bindings for HACL & Evercrypt
  ☆30Updated 8 months ago
• landlock-lsm / rust-landlock
  A Rust library for the Linux Landlock sandboxing feature
  ☆173Updated last month
• kpcyrd / i-probably-didnt-backdoor-this
  A practical experiment on supply-chain security using reproducible builds
  ☆160Updated 2 years ago
• b0bleet / zvisor
  Minimalistic hypervisor built on KVM, coded with Zig.
  ☆147Updated last year
• jedisct1 / zig-eddsa-key-blinding
  A Zig implementation of EdDSA signatures with blind keys.
  ☆17Updated 2 years ago
• zed-industries / bromberg_sl2
  Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"
  ☆20Updated 2 years ago
• AeneasVerif / eurydice
  Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆280Updated last week
• tosc-rs / mgnp
  MnemOS Global Networking Protocol
  ☆15Updated last year
• cryptouri / cryptouri.rs
  Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding
  ☆37Updated 2 years ago