Alternatives and similar repositories for cryptol-specs

Users that are interested in cryptol-specs are comparing it to the libraries listed below

• formosa-crypto / formosa-mlkem

  View on GitHub
  ☆16Feb 6, 2026Updated last week
• tireddy2 / pqc-for-engineers

  View on GitHub
  ☆17Aug 26, 2025Updated 5 months ago
• alleystoughton / EasyTeach

  View on GitHub
  Examples for EasyCrypt Lectures
  ☆27Jan 28, 2026Updated 2 weeks ago
• awslabs / aws-lc-verification

  View on GitHub
  This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…
  ☆63Jan 16, 2026Updated 3 weeks ago
• SSProve / ssprove

  View on GitHub
  A foundational framework for modular cryptographic proofs in Coq
  ☆73Feb 5, 2026Updated last week
• planetscale / create-branch-action

  View on GitHub
  A GitHub Action that creates a new branch of your PlanetScale database
  ☆12Feb 23, 2024Updated last year
• KPN-CISO / pq-wg-theory

  View on GitHub
  Post-quantum Wireguard (Theory)
  ☆12Sep 9, 2020Updated 5 years ago
• GottfriedHerold / Chipmunk

  View on GitHub
  ☆11Aug 20, 2024Updated last year
• brave-experiments / CDLS

  View on GitHub
  CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness
  ☆11Nov 2, 2024Updated last year
• HACS-workshop / HACS-workshop.github.io

  View on GitHub
  High Assurance Cryptographic Software
  ☆10Dec 23, 2025Updated last month
• zcash / sapling-security-analysis

  View on GitHub
  ☆15May 3, 2019Updated 6 years ago
• jonsterling / coq-guarded-computational-type-theory

  View on GitHub
  ☆21Apr 15, 2018Updated 7 years ago
• http-interop / http-factory-tests

  View on GitHub
  ☆11Oct 22, 2025Updated 3 months ago
• brefphp / secrets-loader

  View on GitHub
  Load secret values from SSM into environment variables
  ☆15Aug 11, 2025Updated 6 months ago
• IACR / latex

  View on GitHub
  Latex classes for IACR publications.
  ☆15Updated this week
• chelseakomlo / talks

  View on GitHub
  Materials and slides for talks I've given in the past
  ☆15Jan 26, 2026Updated 2 weeks ago
• amphp / http-client-guzzle-adapter

  View on GitHub
  ☆15Jun 26, 2025Updated 7 months ago
• geometryxyz / functional-commitment

  View on GitHub
  Implementation of efficient function-hiding functional commitments https://eprint.iacr.org/2021/1342
  ☆16Jan 5, 2023Updated 3 years ago
• 5GenCrypto / clt13

  View on GitHub
  C implementation of the CLT13 multilinear map
  ☆14Nov 29, 2018Updated 7 years ago
• cpeikert / CollimationSieve

  View on GitHub
  Classical simulator for Kuperberg's quantum collimation sieve, generalized to arbitrary finite cyclic groups and focused on CSIDH-512.
  ☆14Jun 18, 2019Updated 6 years ago
• awslabs / aws-build-accumulator

  View on GitHub
  Litani metabuild system
  ☆19Jun 12, 2023Updated 2 years ago
• GiacomoPope / isogeny_rs

  View on GitHub
  Rust library for isogeny-based cryptography
  ☆20Dec 11, 2025Updated 2 months ago
• php-http / client-integration-tests

  View on GitHub
  HTTP client integration tests
  ☆16Dec 9, 2025Updated 2 months ago
• rozbb / ct-merkle

  View on GitHub
  An implementation of the append-only log described in the Certificate Transparency specification (RFC 6962)
  ☆38Apr 11, 2025Updated 10 months ago
• agusakov / category-theory-game

  View on GitHub
  ☆17Jul 26, 2020Updated 5 years ago
• crate-crypto / CLSAG

  View on GitHub
  Compact linkable ring signatures. A modification on MLSAG.
  ☆20May 10, 2020Updated 5 years ago
• rozbb / dudect-bencher

  View on GitHub
  An implementation of the DudeCT constant-time function tester
  ☆25Sep 18, 2023Updated 2 years ago
• celo-org / snark-setup

  View on GitHub
  ☆18Feb 3, 2024Updated 2 years ago
• awslabs / LibMLKEM

  View on GitHub
  ☆23Sep 12, 2025Updated 5 months ago
• php-runtime / bref

  View on GitHub
  [READ ONLY]
  ☆19Dec 18, 2025Updated last month
• novifinancial / smtree

  View on GitHub
  An api for constructing sparse Merkle tree accumulators with random sampling capabilities.
  ☆25Oct 19, 2021Updated 4 years ago
• timmclean / rust-timing-shield

  View on GitHub
  Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/
  ☆57Aug 14, 2023Updated 2 years ago
• arkworks-rs / spongefish

  View on GitHub
  Fiat-Shamir for the masses.
  ☆87Dec 27, 2025Updated last month
• claucece / post-quantumers

  View on GitHub
  ☆17Aug 2, 2021Updated 4 years ago
• dominique-unruh / qrhl-tool

  View on GitHub
  Proof assistant for qRHL
  ☆22Feb 5, 2026Updated last week
• brefphp / micro

  View on GitHub
  μ − EXPERIMENTAL
  ☆19Dec 29, 2020Updated 5 years ago
• clvv / rcc

  View on GitHub
  ☆27Sep 25, 2023Updated 2 years ago
• crev-dev / pip-crev

  View on GitHub
  Signed code reviews for Python packages.
  ☆26Dec 8, 2022Updated 3 years ago
• brockelmore / graphstack

  View on GitHub
  ☆55Oct 4, 2022Updated 3 years ago