Alternatives and similar repositories for endomorphisms

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

• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆62Updated 2 years ago
• dominique-unruh / qrhl-tool
  Proof assistant for qRHL
  ☆22Updated last month
• 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…
  ☆23Updated 3 weeks ago
• sagemath / cypari2
  Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/
  ☆30Updated 2 weeks ago
• b-mehta / exponential-ramsey
  A formal proof of an exponentially better upper bound on Ramsey numbers
  ☆18Updated 2 years ago
• sagemath / more-sagemath-tutorials
  More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage
  ☆31Updated 2 years ago
• 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
• metamath / metamath-book
  Source of metamath book
  ☆51Updated 2 years ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆21Updated 2 months ago
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆23Updated 4 years ago
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆170Updated 6 years ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆48Updated 3 weeks ago
• formosa-crypto / formosa-mlkem
  ☆16Updated this week
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆37Updated this week
• sdiehl / elliptic-curve
  A polymorphic interface for elliptic curve operations
  ☆43Updated 2 years ago
• DeepSec-prover / deepsec
  DEciding Equivalence Properties in SECurity protocols
  ☆20Updated 2 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated last week
• zapatacomputing / VQFData
  Raw data for numerical experiments exploring integer factorization on NISQ devices
  ☆10Updated 7 years ago
• cpeikert / ALCHEMY
  A Language and Compiler for Homomorphic Encryption Made easY
  ☆67Updated 5 years ago
• defeo / MathematicsOfIBC
  Lecture notes on the Foundations of Isogeny-based Cryptography
  ☆29Updated last year
• Inria-Prosecco / proscript-messaging
  Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…
  ☆37Updated 3 years ago
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated last year
• b-mehta / combinatorics
  ☆24Updated 3 years ago
• sagemath / sage-binder-env
  A Binder repo for SageMath computing environment
  ☆34Updated this week
• djvelleman / HTPILeanPackage
  ☆34Updated last week
• psg-mit / twist-popl22
  POPL'22 Artifact for "Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs".
  ☆47Updated 4 years ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆128Updated last year
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆27Updated this week
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆64Updated last year
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 4 years ago