Alternatives and similar repositories for awesome-number-theory

Users that are interested in awesome-number-theory are comparing it to the libraries listed below

• LearningToSQI / SQISign-SageMath
  ☆44Updated 2 years ago
• ThetaIsogenies / two-isogenies
  A rust and SageMath implementation of (2,2)-isogenies in the theta model
  ☆21Updated 11 months ago
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆375Updated last week
• cpeikert / TheoryOfCryptography
  Lecture notes for Chris Peikert's graduate-level Theory of Cryptography course
  ☆183Updated 3 months ago
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆122Updated last year
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆223Updated 2 weeks ago
• leanprover / SampCert
  SampCert : Verified Differential Privacy
  ☆84Updated 7 months ago
• lducas / Course-Leiden-2024
  Lattices and Their Algorithms, Leiden, Spring 2024
  ☆20Updated last year
• JoeyLupo / cryptolib
  ☆18Updated 3 years ago
• cpeikert / LatticesInCryptography
  Lattices in Cryptography (University of Michigan)
  ☆107Updated last year
• mkauers / ore_algebra
  ☆37Updated 3 weeks ago
• automorphic-project / automorphic-project
  All the math/tex files for the Automorphic Project
  ☆19Updated last year
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆266Updated 2 weeks ago
• GiacomoPope / Castryck-Decru-SageMath
  A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH
  ☆137Updated 2 years ago
• Verified-zkEVM / VCV-io
  Formalized Cryptography Proofs in Lean 4
  ☆52Updated this week
• epistemologist / des_symbolic
  Representing DES in Z3
  ☆16Updated 2 years ago
• mwageringel / fgb_sage
  A Sage interface for FGb (Gröbner basis computations)
  ☆39Updated last year
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆444Updated 4 months ago
• lftcm2023 / lftcm2023
  ☆30Updated 2 years ago
• lducas / leaky-LWE-Estimator
  A sage Toolkit for mounting/estimating attacks on LWE with Side Information
  ☆51Updated 2 years ago
• friends-of-quaternions / deuring
  ☆14Updated last year
• leanprover-community / aesop
  White-box automation for Lean 4
  ☆320Updated this week
• mo271 / FormalBook
  Formalizing "Proofs from THE BOOK"
  ☆71Updated 2 weeks ago
• leanprover-community / ProofWidgets4
  Helper toolkit for creating your own Lean 4 UserWidgets
  ☆168Updated this week
• easyuc / EasyUC
  Experiments with Universal Composability in EasyCrypt
  ☆42Updated this week
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆371Updated 2 months ago
• keeganryan / flatter
  Fast lattice reduction
  ☆225Updated 3 months ago
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆71Updated last week
• leanprover-community / lean4game
  Server to host lean games.
  ☆358Updated this week
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆30Updated 12 years ago