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
• cpeikert / TheoryOfCryptography
  Lecture notes for Chris Peikert's graduate-level Theory of Cryptography course
  ☆181Updated last month
• cpeikert / LatticesInCryptography
  Lattices in Cryptography (University of Michigan)
  ☆103Updated last year
• ThetaIsogenies / two-isogenies
  A rust and SageMath implementation of (2,2)-isogenies in the theta model
  ☆21Updated 9 months ago
• fplll / fplll
  Lattice algorithms using floating-point arithmetic
  ☆379Updated last week
• GiacomoPope / Castryck-Decru-SageMath
  A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH
  ☆138Updated 2 years ago
• mwageringel / fgb_sage
  A Sage interface for FGb (Gröbner basis computations)
  ☆39Updated last year
• WvanWoerden / G6K-GPU-Tensor
  Lattice Sieving using GPU Tensor cores based on the General Sieve Kernel (G6K)
  ☆35Updated 6 months ago
• juliannowakowski / lwe_with_hints
  ☆34Updated 2 years ago
• keeganryan / flatter
  Fast lattice reduction
  ☆216Updated 2 months ago
• lducas / leaky-LWE-Estimator
  A sage Toolkit for mounting/estimating attacks on LWE with Side Information
  ☆50Updated 2 years ago
• hadipourh / DL
  Revisiting Differential-Linear Attacks via a Boomerang Perspective
  ☆11Updated 2 months ago
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆368Updated last week
• epistemologist / des_symbolic
  Representing DES in Z3
  ☆15Updated 2 years 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
  ☆70Updated this week
• juliannowakowski / automated-coppersmith
  ☆35Updated 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
• ludopulles / BLASter
  Fast lattice reduction using segmentation, multithreading, Seysen reduction and BLAS
  ☆40Updated 3 weeks ago
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆248Updated last month
• meelgroup / bosphorus
  Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
  ☆76Updated 6 months ago
• algebraic-solving / msolve
  Library for Polynomial System Solving through Algebraic Methods
  ☆160Updated 2 weeks ago
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆280Updated last month
• leanprover / SampCert
  SampCert : Verified Differential Privacy
  ☆82Updated 5 months ago
• TheBlupper / coppersmith
  ☆22Updated 7 months ago
• automorphic-project / automorphic-project
  All the math/tex files for the Automorphic Project
  ☆19Updated last year
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆174Updated 2 months ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆208Updated last year
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆213Updated last week
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆423Updated 2 months ago