Alternatives and similar repositories for EasyTeach

Users that are interested in EasyTeach are comparing it to the libraries listed below

• easyuc / EasyUC

  View on GitHub
  Experiments with Universal Composability in EasyCrypt
  ☆43Updated this week
• 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
• EasyCrypt / easycrypt

  View on GitHub
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆382Updated this week
• dominique-unruh / qrhl-tool

  View on GitHub
  Proof assistant for qRHL
  ☆22Feb 5, 2026Updated last week
• claucece / formal-tutorials

  View on GitHub
  ☆28Nov 21, 2021Updated 4 years ago
• formosa-crypto / libjade

  View on GitHub
  Crypto library
  ☆67Dec 9, 2025Updated 2 months ago
• GaloisInc / cryptol-specs

  View on GitHub
  Specifications of cryptographic algorithms in Cryptol
  ☆46Dec 23, 2025Updated last month
• 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
• KPN-CISO / pq-wg-theory

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

  View on GitHub
  ☆11Nov 11, 2022Updated 3 years ago
• zcash / sapling-security-analysis

  View on GitHub
  ☆15May 3, 2019Updated 6 years ago
• hellman / coppersmith-algorithm

  View on GitHub
  Implements Coron's simplification of Coppersmith's algorithm
  ☆10May 28, 2017Updated 8 years ago
• Inria-Prosecco / pqxdh-analysis

  View on GitHub
  Formal Analysis of the PQXDH Protocol
  ☆30Jun 6, 2024Updated last year
• chelseakomlo / talks

  View on GitHub
  Materials and slides for talks I've given in the past
  ☆15Jan 26, 2026Updated 3 weeks ago
• lducas / BDD-note

  View on GitHub
  ☆12Sep 23, 2021Updated 4 years ago
• MQuaresma / pswoosh

  View on GitHub
  Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange
  ☆27Jun 7, 2024Updated last year
• ZKProofs / zkp.bib

  View on GitHub
  A BibTeX collection on Zero-Knowledge Proofs
  ☆16Dec 4, 2018Updated 7 years ago
• Inria-Prosecco / noise-star

  View on GitHub
  Verified implementations for the Noise family of protocols
  ☆17Jun 18, 2024Updated last year
• 0xADE1A1DE / CryptOpt

  View on GitHub
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆65Jun 26, 2024Updated last year
• strub / elliptic-curves-ssr

  View on GitHub
  A Formal Library about Elliptic Curves for the Mathematical Components Library.
  ☆15Nov 10, 2021Updated 4 years ago
• crocs-muni / ct-tools

  View on GitHub
  A repository of tools for verifying constant-timeness
  ☆19Feb 4, 2026Updated last week
• kwantam / eccons

  View on GitHub
  elliptic curve construction tool
  ☆17Feb 24, 2023Updated 2 years ago
• rozbb / dudect-bencher

  View on GitHub
  An implementation of the DudeCT constant-time function tester
  ☆25Sep 18, 2023Updated 2 years ago
• guruvamsi-policharla / zkdilithium

  View on GitHub
  An implementation of a post quantum anonymous credential scheme
  ☆16Dec 18, 2024Updated last year
• RustCrypto / universal-hashes

  View on GitHub
  Collection of universal hashing functions
  ☆36Updated this week
• awslabs / LibMLKEM

  View on GitHub
  ☆23Sep 12, 2025Updated 5 months ago
• malb / oxford-lattice-school-lessons

  View on GitHub
  ☆22Jan 21, 2019Updated 7 years ago
• bitwiseshiftleft / ladder_formulas

  View on GitHub
  Faster Montgomery and Joye ladder formulas for short Weierstrass elliptic curves
  ☆22Jul 1, 2020Updated 5 years ago
• JoeyLupo / cryptolib

  View on GitHub
  ☆21Oct 1, 2022Updated 3 years ago
• squirrel-prover / squirrel-prover

  View on GitHub
  The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.
  ☆59Oct 10, 2025Updated 4 months ago
• claucece / post-quantumers

  View on GitHub
  ☆17Aug 2, 2021Updated 4 years ago
• binsec / haunted

  View on GitHub
  Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.
  ☆17Oct 19, 2023Updated 2 years ago
• hacspec / hacspec

  View on GitHub
  Please see https://github.com/hacspec/hax
  ☆246Feb 12, 2024Updated 2 years ago
• octaviopk9 / lattice-based-cryptography

  View on GitHub
  Reference repository on Lattice-based Cryptography
  ☆26Oct 22, 2024Updated last year
• fmlab-iis / cryptoline

  View on GitHub
  ☆54Updated this week
• mcarrickscott / modarith

  View on GitHub
  Script generated finite field arithmetic for elliptic curve cryptography
  ☆24Updated this week
• doubleodd / c-do255

  View on GitHub
  Implementations of do255e and do255s in C and assembly
  ☆25May 3, 2021Updated 4 years ago