Alternatives and similar repositories for fiat-crypto:

Users that are interested in fiat-crypto are comparing it to the libraries listed below

• hacspec / hacspec
  Please see https://github.com/hacspec/hax
  ☆243Updated last year
• jasmin-lang / jasmin
  Language for high-assurance and high-speed cryptography
  ☆290Updated this week
• FStarLang / karamel
  KaRaMeL is a tool for extracting low-level F* programs to readable C code
  ☆430Updated this week
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆345Updated this week
• project-everest / vale
  Verified Assembly Language for Everest
  ☆283Updated last year
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆199Updated 3 years ago
• project-everest / everest
  ☆197Updated this week
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆265Updated this week
• cpeikert / Lol
  Λ ⚬ λ: Functional Lattice Cryptography
  ☆230Updated 4 years ago
• awslabs / s2n-bignum
  ☆156Updated this week
• facebookresearch / Cupcake
  A Rust library for lattice-based additive homomorphic encryption.
  ☆415Updated last year
• GaloisInc / cryptol
  Cryptol: The Language of Cryptography
  ☆1,153Updated this week
• cryspen / hax
  A Rust verification tool
  ☆248Updated this week
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆453Updated last week
• mmcloughlin / addchain
  Cryptographic Addition Chain Generation in Go
  ☆189Updated 9 months ago
• verifast / verifast
  Research prototype tool for modular formal verification of C, Rust and Java programs
  ☆405Updated this week
• GaloisInc / crucible
  Crucible is a library for symbolic simulation of imperative programs
  ☆712Updated this week
• BLAKE3-team / BLAKE3-specs
  The BLAKE3 paper: specifications, analysis, and design rationale
  ☆172Updated 2 years ago
• GaloisInc / saw-script
  The SAW scripting language.
  ☆466Updated this week
• apalache-mc / apalache
  APALACHE: symbolic model checker for TLA+ and Quint
  ☆456Updated this week
• oreparaz / dudect
  dude, is my code constant time?
  ☆178Updated last year
• fortanix / rust-sgx
  The Fortanix Rust Enclave Development Platform
  ☆452Updated this week
• XKCP / XKCP
  eXtended Keccak Code Package
  ☆603Updated 2 months ago
• dalek-cryptography / curve25519-dalek
  A pure-Rust implementation of group operations on Ristretto and Curve25519
  ☆968Updated 3 months ago
• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆117Updated this week
• dalek-cryptography / subtle
  Pure-Rust traits and utilities for constant-time cryptographic implementations.
  ☆268Updated 8 months ago
• C2SP / C2SP
  Community Cryptography Specification Project
  ☆361Updated last week
• supranational / blst
  Multilingual BLS12-381 signature library
  ☆508Updated last month
• project-everest / mitls-fstar
  Verified implementation of TLS 1.3 in F*
  ☆176Updated 2 months ago
• dalek-cryptography / x25519-dalek
  X25519 elliptic curve Diffie-Hellman key exchange in pure-Rust, using curve25519-dalek.
  ☆338Updated last year