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
  ☆43Updated 2 years ago
• ThetaIsogenies / two-isogenies
  A rust and SageMath implementation of (2,2)-isogenies in the theta model
  ☆20Updated 8 months ago
• cpeikert / TheoryOfCryptography
  Lecture notes for Chris Peikert's graduate-level Theory of Cryptography course
  ☆181Updated 3 weeks ago
• ludopulles / BLASter
  Fast lattice reduction using segmentation, multithreading, Seysen reduction and BLAS
  ☆39Updated 3 months ago
• keeganryan / flatter
  Fast lattice reduction
  ☆214Updated last month
• cpeikert / LatticesInCryptography
  Lattices in Cryptography (University of Michigan)
  ☆100Updated last year
• GiacomoPope / Castryck-Decru-SageMath
  A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH
  ☆138Updated 2 years ago
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆366Updated last week
• mwageringel / fgb_sage
  A Sage interface for FGb (Gröbner basis computations)
  ☆38Updated last year
• Crypto-TII / claasp
  A Cryptographic Library for the Automated Analysis of Symmetric Primitives
  ☆67Updated this week
• 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
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆360Updated this week
• fplll / g6k
  The General Sieve Kernel
  ☆124Updated 3 months ago
• kste / solvatore
  An easy to use tool for evaluating the security of cryptographic algorithms against integral attacks.
  ☆24Updated 6 years ago
• juliannowakowski / automated-coppersmith
  ☆35Updated 2 years ago
• lducas / leaky-LWE-Estimator
  A sage Toolkit for mounting/estimating attacks on LWE with Side Information
  ☆50Updated 2 years ago
• fplll / fplll
  Lattice algorithms using floating-point arithmetic
  ☆371Updated 5 months ago
• Verified-zkEVM / VCV-io
  Formalized Cryptography Proofs in Lean 4
  ☆44Updated last week
• fmlab-iis / cryptoline
  ☆53Updated 2 weeks ago
• hadipourh / DL
  Revisiting Differential-Linear Attacks via a Boomerang Perspective
  ☆11Updated 2 months ago
• mkauers / ore_algebra
  ☆37Updated 2 weeks ago
• lducas / Course-Leiden-2024
  Lattices and Their Algorithms, Leiden, Spring 2024
  ☆19Updated last year
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆268Updated 2 weeks ago
• algebraic-solving / msolve
  Library for Polynomial System Solving through Algebraic Methods
  ☆160Updated 2 weeks ago
• ranea / CASCADA
  A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.
  ☆37Updated 10 months ago
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆111Updated last month
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆417Updated last month
• TheBlupper / coppersmith
  ☆22Updated 7 months ago
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆208Updated 3 weeks ago
• JoeyLupo / cryptolib
  ☆16Updated 3 years ago