Alternatives and similar repositories for topp

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

• janicicpredrag / gclc
  GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…
  ☆63Updated this week
• regina-normal / regina
  The main source code for Regina
  ☆39Updated last week
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆456Updated 7 months ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• 3-manifolds / SnapPy
  SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…
  ☆113Updated last week
• polymake / polymake
  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
  ☆86Updated 3 months ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆220Updated last year
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆404Updated this week
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆57Updated last week
• SpectralSequences / sseq
  The root repository for the SpectralSequences project.
  ☆32Updated 3 weeks ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 3 years ago
• gilbo / atl
  A Tensor Language
  ☆55Updated 4 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
• teorth / symmetric_project
  ☆94Updated 2 years ago
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆54Updated 4 months ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆62Updated 2 years ago
• tBuLi / kingdon
  A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.
  ☆99Updated last month
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆271Updated last year
• Z80coder / db-nets
  ∂B nets: learning discrete, boolean-valued functions by gradient descent
  ☆21Updated last year
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆124Updated 4 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…
  ☆122Updated last year
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆368Updated last week
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆33Updated 2 years ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆114Updated 2 years ago
• RuleBasedIntegration / Rubi
  Rubi for Mathematica
  ☆251Updated last year
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆114Updated this week
• jirilebl / diffyqs
  Notes on Diffy Qs, a textbook for differential equations
  ☆77Updated last month
• Ben-McKay / concrete-algebra
  A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…
  ☆85Updated 2 years ago
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆202Updated 3 weeks ago
• AlexKontorovich / PrimeNumberTheoremAnd
  Blueprint for the PNT+ Project
  ☆221Updated last week