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
  ☆185Updated 4 months ago
• cpeikert / LatticesInCryptography
  Lattices in Cryptography (University of Michigan)
  ☆111Updated this week
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆323Updated last month
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆381Updated this week
• emilyriehl / 721
  Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
  ☆51Updated 4 years ago
• lducas / Course-Leiden-2024
  Lattices and Their Algorithms, Leiden, Spring 2024
  ☆22Updated last year
• Verified-zkEVM / VCV-io
  Formalized Cryptography Proofs in Lean 4
  ☆59Updated this week
• GiacomoPope / Castryck-Decru-SageMath
  A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH
  ☆138Updated 2 years ago
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆231Updated last month
• ThetaIsogenies / two-isogenies
  A rust and SageMath implementation of (2,2)-isogenies in the theta model
  ☆24Updated last year
• leanprover-community / lean4game
  Server to host lean games.
  ☆388Updated last 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…
  ☆122Updated last year
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆456Updated 5 months ago
• keeganryan / flatter
  Fast lattice reduction
  ☆226Updated 5 months ago
• JoeyLupo / cryptolib
  ☆21Updated 3 years ago
• leanprover / SampCert
  SampCert : Verified Differential Privacy
  ☆86Updated 8 months ago
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆73Updated this week
• lducas / leaky-LWE-Estimator
  A sage Toolkit for mounting/estimating attacks on LWE with Side Information
  ☆53Updated 2 years ago
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆31Updated 2 years ago
• fmlab-iis / cryptoline
  ☆54Updated this week
• ludopulles / BLASter
  Fast lattice reduction using segmentation, multithreading, Seysen reduction and BLAS
  ☆47Updated 2 months ago
• friends-of-quaternions / deuring
  ☆15Updated last year
• Crypto-TII / claasp
  A Cryptographic Library for the Automated Analysis of Symmetric Primitives
  ☆73Updated this week
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆326Updated last year
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆374Updated 3 months ago
• leanprover-community / NNG4
  Natural Number Game
  ☆279Updated last month
• automorphic-project / automorphic-project
  All the math/tex files for the Automorphic Project
  ☆19Updated last year
• fplll / fplll
  Lattice algorithms using floating-point arithmetic
  ☆391Updated 3 months ago
• FormalizedFormalLogic / Foundation
  Formalization of Mathematical Logic
  ☆196Updated this week