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
  ☆293Updated this week
• hacspec / hacspec
  Please see https://github.com/hacspec/hax
  ☆243Updated last year
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆352Updated this week
• project-everest / vale
  Verified Assembly Language for Everest
  ☆291Updated last year
• awslabs / s2n-bignum
  ☆161Updated this week
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆274Updated this week
• GaloisInc / cryptol
  Cryptol: The Language of Cryptography
  ☆1,158Updated this week
• FStarLang / karamel
  KaRaMeL is a tool for extracting low-level F* programs to readable C code
  ☆451Updated last week
• cpeikert / Lol
  Λ ⚬ λ: Functional Lattice Cryptography
  ☆231Updated 4 years ago
• facebookresearch / Cupcake
  A Rust library for lattice-based additive homomorphic encryption.
  ☆415Updated last year
• BLAKE3-team / BLAKE3-specs
  The BLAKE3 paper: specifications, analysis, and design rationale
  ☆177Updated 2 years ago
• project-everest / mitls-fstar
  Verified implementation of TLS 1.3 in F*
  ☆177Updated 3 months ago
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆459Updated last week
• mmcloughlin / addchain
  Cryptographic Addition Chain Generation in Go
  ☆189Updated 11 months ago
• project-everest / everest
  ☆198Updated this week
• GaloisInc / saw-script
  The SAW scripting language.
  ☆468Updated this week
• microsoft / Spartan
  Spartan: High-speed zkSNARKs without trusted setup
  ☆769Updated last week
• GaloisInc / crucible
  Crucible is a library for symbolic simulation of imperative programs
  ☆719Updated last week
• dalek-cryptography / curve25519-dalek
  A pure-Rust implementation of group operations on Ristretto and Curve25519
  ☆984Updated last week
• XKCP / XKCP
  eXtended Keccak Code Package
  ☆607Updated 2 weeks ago
• dalek-cryptography / bulletproofs
  A pure-Rust implementation of Bulletproofs using Ristretto.
  ☆1,085Updated 10 months ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆200Updated 3 years ago
• PrincetonUniversity / VST
  Verified Software Toolchain
  ☆463Updated this week
• seL4 / l4v
  seL4 specification and proofs
  ☆547Updated 3 weeks ago
• sphincs / sphincsplus
  The SPHINCS+ reference code, accompanying the submission to NIST's Post-Quantum Cryptography project
  ☆171Updated last year
• o1-labs / snarky
  OCaml DSL for verifiable computation
  ☆499Updated last week
• runtimeverification / k
  K Framework Tools 7.0
  ☆492Updated this week
• ZenGo-X / curv
  Rust language general purpose elliptic curve cryptography.
  ☆269Updated 10 months ago
• AeneasVerif / aeneas
  A verification toolchain for Rust programs
  ☆262Updated this week
• boogie-org / boogie
  Boogie
  ☆540Updated last week