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
  ☆313Updated last week
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆370Updated this week
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆480Updated 3 weeks ago
• cpeikert / Lol
  Λ ⚬ λ: Functional Lattice Cryptography
  ☆230Updated 4 years ago
• awslabs / s2n-bignum
  ☆186Updated last week
• hacspec / hacspec
  Please see https://github.com/hacspec/hax
  ☆244Updated last year
• project-everest / vale
  Verified Assembly Language for Everest
  ☆295Updated last year
• facebookresearch / Cupcake
  A Rust library for lattice-based additive homomorphic encryption.
  ☆418Updated 2 years ago
• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆177Updated last week
• GaloisInc / cryptol
  Cryptol: The Language of Cryptography
  ☆1,180Updated last week
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆289Updated last month
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆202Updated 3 years ago
• FStarLang / karamel
  KaRaMeL is a tool for extracting low-level F* programs to readable C code
  ☆479Updated this 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
• sphincs / sphincsplus
  The SPHINCS+ reference code, accompanying the submission to NIST's Post-Quantum Cryptography project
  ☆194Updated last year
• project-everest / everest
  ☆202Updated 3 weeks ago
• microsoft / Picnic
  Reference implementation of the Picnic post-quantum signature scheme
  ☆166Updated 2 years ago
• BLAKE3-team / BLAKE3-specs
  The BLAKE3 paper: specifications, analysis, and design rationale
  ☆182Updated 3 years ago
• easyuc / EasyUC
  Experiments with Universal Composability in EasyCrypt
  ☆41Updated last week
• usnistgov / ACVP
  Industry Working Group on Automated Cryptographic Algorithm Validation
  ☆190Updated last week
• mmcloughlin / addchain
  Cryptographic Addition Chain Generation in Go
  ☆193Updated last year
• GaloisInc / cryptol-specs
  Specifications of cryptographic algorithms in Cryptol
  ☆43Updated this week
• CEA-LIST / Cingulata
  Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…
  ☆407Updated 4 months ago
• formosa-crypto / libjade
  Crypto library
  ☆66Updated 2 weeks ago
• XKCP / XKCP
  eXtended Keccak Code Package
  ☆626Updated last month
• thomwiggers / kemtls-experiment
  Experimental implementation of KEMTLS in Rustls
  ☆33Updated last year
• o1-labs / snarky
  OCaml DSL for verifiable computation
  ☆502Updated last month
• project-everest / mitls-fstar
  Verified implementation of TLS 1.3 in F*
  ☆177Updated 8 months ago
• cryptosubtlety / intuitive-advanced-cryptography
  Intuitive Advanced Cryptography
  ☆436Updated 3 years ago
• veracruz-project / veracruz
  Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).
  ☆198Updated 7 months ago