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
  ☆38Updated 2 years ago
• cpeikert / LatticesInCryptography
  Lattices in Cryptography (University of Michigan)
  ☆82Updated 7 months ago
• ThetaIsogenies / two-isogenies
  A rust and SageMath implementation of (2,2)-isogenies in the theta model
  ☆19Updated 3 months ago
• lducas / leaky-LWE-Estimator
  A sage Toolkit for mounting/estimating attacks on LWE with Side Information
  ☆44Updated last year
• mwageringel / fgb_sage
  A Sage interface for FGb (Gröbner basis computations)
  ☆34Updated 11 months ago
• epistemologist / des_symbolic
  Representing DES in Z3
  ☆15Updated last year
• juliannowakowski / lwe_with_hints
  ☆31Updated last year
• GiacomoPope / Castryck-Decru-SageMath
  A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH
  ☆128Updated 2 years ago
• keeganryan / flatter
  Fast lattice reduction
  ☆194Updated last month
• maple3142 / lll_cvp
  ☆45Updated this week
• juliannowakowski / automated-coppersmith
  ☆32Updated last year
• TheBlupper / coppersmith
  ☆21Updated last month
• Crypto-TII / claasp
  A Cryptographic Library for the Automated Analysis of Symmetric Primitives
  ☆63Updated this week
• fplll / g6k
  The General Sieve Kernel
  ☆113Updated 4 months ago
• friends-of-quaternions / deuring
  ☆14Updated last year
• TheSICQ / ApresSQI
  Code accompanying the paper "ApresSQI: Extra Fast Verification for SQIsign Using Extension-Field Signing".
  ☆10Updated 3 weeks ago
• leanprover-community / flt-regular
  Fermat's Last Theorem for regular primes
  ☆55Updated 2 weeks ago
• Crypto-TII / CryptographicEstimators
  This project gathers and standardize command line scripts to estimate the difficulty of solving hard mathematical problems related to cry…
  ☆44Updated this week
• kste / solvatore
  An easy to use tool for evaluating the security of cryptographic algorithms against integral attacks.
  ☆24Updated 6 years ago
• TheBlupper / linineq
  Functions for solving linear inequalities in integers
  ☆45Updated 3 weeks ago
• WvanWoerden / G6K-GPU-Tensor
  Lattice Sieving using GPU Tensor cores based on the General Sieve Kernel (G6K)
  ☆31Updated 3 weeks ago
• algebraic-solving / msolve
  Library for Polynomial System Solving through Algebraic Methods
  ☆122Updated last month
• malb / lattice-estimator
  An attempt at a new LWE estimator
  ☆264Updated last week
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆201Updated 2 weeks ago
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆64Updated this week
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆345Updated this week
• meelgroup / bosphorus
  Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
  ☆69Updated 3 weeks ago
• alleystoughton / EasyTeach
  Examples for EasyCrypt Lectures
  ☆24Updated 2 months ago
• automorphic-project / automorphic-project
  All the math/tex files for the Automorphic Project
  ☆18Updated 11 months ago
• malb / oxford-lattice-school-lessons
  ☆19Updated 6 years ago