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
  ☆22Updated 11 months ago
• GiacomoPope / Castryck-Decru-SageMath
  A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH
  ☆138Updated 2 years ago
• ludopulles / BLASter
  Fast lattice reduction using segmentation, multithreading, Seysen reduction and BLAS
  ☆45Updated 2 months ago
• cpeikert / TheoryOfCryptography
  Lecture notes for Chris Peikert's graduate-level Theory of Cryptography course
  ☆184Updated 3 months ago
• mwageringel / fgb_sage
  A Sage interface for FGb (Gröbner basis computations)
  ☆39Updated last year
• friends-of-quaternions / deuring
  ☆15Updated last year
• hadipourh / DL
  Revisiting Differential-Linear Attacks via a Boomerang Perspective
  ☆11Updated last month
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆379Updated this week
• keeganryan / flatter
  Fast lattice reduction
  ☆227Updated 4 months ago
• lducas / Course-Leiden-2024
  Lattices and Their Algorithms, Leiden, Spring 2024
  ☆20Updated last year
• Crypto-TII / claasp
  A Cryptographic Library for the Automated Analysis of Symmetric Primitives
  ☆73Updated last week
• cpeikert / LatticesInCryptography
  Lattices in Cryptography (University of Michigan)
  ☆107Updated last year
• JoeyLupo / cryptolib
  ☆19Updated 3 years ago
• epistemologist / des_symbolic
  Representing DES in Z3
  ☆16Updated 2 years 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…
  ☆121Updated last year
• kste / solvatore
  An easy to use tool for evaluating the security of cryptographic algorithms against integral attacks.
  ☆25Updated 6 years ago
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆72Updated 3 weeks ago
• Verified-zkEVM / VCV-io
  Formalized Cryptography Proofs in Lean 4
  ☆57Updated last week
• juliannowakowski / lwe_with_hints
  ☆35Updated 2 years ago
• fplll / fplll
  Lattice algorithms using floating-point arithmetic
  ☆387Updated 2 months ago
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆314Updated 3 weeks ago
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆228Updated 2 weeks ago
• leanprover / SampCert
  SampCert : Verified Differential Privacy
  ☆86Updated 8 months ago
• TheBlupper / coppersmith
  ☆23Updated 10 months ago
• n-WN / sagemath-vscode-enhanced
  Bringing the power of SageMath to VS Code with this extension that offers specialized syntax highlighting, quick run capabilities, and ad…
  ☆48Updated 2 months ago
• juliannowakowski / automated-coppersmith
  ☆37Updated 2 years ago
• leanprover-community / ProofWidgets4
  Helper toolkit for creating your own Lean 4 UserWidgets
  ☆172Updated 2 weeks ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆72Updated last year
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆202Updated 2 weeks ago