Alternatives and similar repositories for awesome-number-theory:

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

• mwageringel / fgb_sage
  A Sage interface for FGb (Gröbner basis computations)
  ☆34Updated 8 months ago
• LearningToSQI / SQISign-SageMath
  ☆33Updated last year
• GiacomoPope / Castryck-Decru-SageMath
  A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH
  ☆124Updated last year
• cpeikert / LatticesInCryptography
  Lattices in Cryptography (University of Michigan)
  ☆75Updated 4 months ago
• maple3142 / lll_cvp
  ☆43Updated this week
• automorphic-project / automorphic-project
  All the math/tex files for the Automorphic Project
  ☆18Updated 8 months ago
• leanprover-community / tutorials4
  Lean 4 tutorial files
  ☆31Updated 8 months ago
• ImperialCollegeLondon / formalising-mathematics-2024
  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
  ☆145Updated last week
• friends-of-quaternions / deuring
  ☆14Updated 11 months ago
• juliannowakowski / lwe_with_hints
  ☆28Updated last year
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆28Updated last year
• mikepierce / grothendieck-kimchi
  Web published translation of Grothendieck's essay on kimchi
  ☆9Updated 11 months ago
• ThetaIsogenies / two-isogenies
  A rust and SageMath implementation of (2,2)-isogenies in the theta model
  ☆17Updated 2 weeks ago
• emilyriehl / 721
  Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
  ☆41Updated 3 years ago
• epistemologist / des_symbolic
  Representing DES in Z3
  ☆15Updated last year
• juliannowakowski / automated-coppersmith
  ☆30Updated last year
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated 11 months ago
• lducas / leaky-LWE-Estimator
  A sage Toolkit for mounting/estimating attacks on LWE with Side Information
  ☆41Updated last year
• YaelDillies / LeanCamCombi
  Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
  ☆50Updated this week
• TheBlupper / linineq
  Functions for solving linear inequalities in integers
  ☆42Updated 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…
  ☆119Updated 10 months ago
• TheBlupper / coppersmith
  ☆21Updated 3 weeks ago
• algebraic-solving / msolve
  Library for Polynomial System Solving through Algebraic Methods
  ☆110Updated last month
• leanprover / SampCert
  SampCert : Verified Differential Privacy
  ☆70Updated 5 months ago
• leanprover-community / flt-regular
  Fermat's Last Theorem for regular primes
  ☆52Updated this week
• leanprover-community / NNG4
  Natural Number Game
  ☆129Updated last month
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆103Updated last week
• teorth / symmetric_project
  ☆86Updated last year
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• jjdishere / EG
  Formalizing Euclidean Geometry in Lean
  ☆29Updated 10 months ago