Alternatives and similar repositories for endomorphisms

Users that are interested in endomorphisms are comparing it to the libraries listed below

• b-mehta / exponential-ramsey
  A formal proof of an exponentially better upper bound on Ramsey numbers
  ☆18Updated 2 years ago
• dominique-unruh / qrhl-tool
  Proof assistant for qRHL
  ☆22Updated this week
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆62Updated 2 years ago
• 3-manifolds / Spherogram
  Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…
  ☆24Updated 3 weeks ago
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆23Updated 4 years ago
• metamath / metamath-book
  Source of metamath book
  ☆55Updated 2 years ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆37Updated this week
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆31Updated 4 years ago
• cpeikert / ALCHEMY
  A Language and Compiler for Homomorphic Encryption Made easY
  ☆67Updated 5 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆17Updated last month
• defeo / MathematicsOfIBC
  Lecture notes on the Foundations of Isogeny-based Cryptography
  ☆32Updated last year
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆171Updated 6 years ago
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 4 years ago
• formosa-crypto / formosa-mlkem
  ☆16Updated this week
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆26Updated 5 years ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆129Updated last year
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆69Updated 10 months ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆57Updated last month
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆27Updated last month
• zapatacomputing / VQFData
  Raw data for numerical experiments exploring integer factorization on NISQ devices
  ☆10Updated 7 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆38Updated 11 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 5 years ago
• sagemath / cypari2
  Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/
  ☆30Updated 3 weeks ago
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated 2 years ago
• DeepSec-prover / deepsec
  DEciding Equivalence Properties in SECurity protocols
  ☆20Updated 2 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆41Updated 8 months ago
• JohnCremona / ecdata
  Data files containing the Cremona Database of all elliptic curves over Q of bounded conductor: see also http://www.lmfdb.org/EllipticCurv…
  ☆21Updated this week
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆46Updated 4 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆79Updated 7 months ago
• teorth / symmetric_project
  ☆94Updated 2 years ago