Alternatives and similar repositories for fiat-crypto

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

• jasmin-lang / jasmin
  Language for high-assurance and high-speed cryptography
  ☆316Updated last week
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆372Updated this week
• hacspec / hacspec
  Please see https://github.com/hacspec/hax
  ☆245Updated last year
• project-everest / vale
  Verified Assembly Language for Everest
  ☆297Updated last year
• awslabs / s2n-bignum
  ☆190Updated last week
• cpeikert / Lol
  Λ ⚬ λ: Functional Lattice Cryptography
  ☆231Updated 4 years ago
• facebookresearch / Cupcake
  A Rust library for lattice-based additive homomorphic encryption.
  ☆418Updated 2 years ago
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆486Updated 2 weeks ago
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆292Updated 2 weeks ago
• FStarLang / karamel
  KaRaMeL is a tool for extracting low-level F* programs to readable C code
  ☆482Updated last week
• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆184Updated last week
• microsoft / PQCrypto-SIDH
  SIDH Library is a fast and portable software library that implements state-of-the-art supersingular isogeny cryptographic schemes. The ch…
  ☆324Updated 2 years ago
• project-everest / everest
  ☆203Updated last month
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆202Updated 3 years ago
• BLAKE3-team / BLAKE3-specs
  The BLAKE3 paper: specifications, analysis, and design rationale
  ☆184Updated 3 years ago
• cfrg / draft-irtf-cfrg-opaque
  The OPAQUE Asymmetric PAKE Protocol
  ☆111Updated 10 months ago
• o1-labs / snarky
  OCaml DSL for verifiable computation
  ☆503Updated this week
• sphincs / sphincsplus
  The SPHINCS+ reference code, accompanying the submission to NIST's Post-Quantum Cryptography project
  ☆197Updated last year
• mmcloughlin / addchain
  Cryptographic Addition Chain Generation in Go
  ☆195Updated last year
• project-everest / mitls-fstar
  Verified implementation of TLS 1.3 in F*
  ☆178Updated 9 months ago
• XKCP / XKCP
  eXtended Keccak Code Package
  ☆630Updated last month
• C2SP / C2SP
  Community Cryptography Specification Project
  ☆464Updated last week
• microsoft / Picnic
  Reference implementation of the Picnic post-quantum signature scheme
  ☆167Updated 2 years ago
• GaloisInc / cryptol
  Cryptol: The Language of Cryptography
  ☆1,184Updated last week
• usnistgov / ACVP
  Industry Working Group on Automated Cryptographic Algorithm Validation
  ☆189Updated this week
• GaloisInc / saw-script
  The SAW scripting language.
  ☆482Updated this week
• formosa-crypto / libjade
  Crypto library
  ☆66Updated last week
• thomwiggers / kemtls-experiment
  Experimental implementation of KEMTLS in Rustls
  ☆33Updated 3 weeks ago
• mlswg / mls-protocol
  MLS protocol
  ☆241Updated last year
• agl / ctgrind
  Checking that functions are constant time with Valgrind
  ☆194Updated 8 years ago