Alternatives and similar repositories for topp

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

• regina-normal / regina
  The main source code for Regina
  ☆39Updated this week
• janicicpredrag / gclc
  GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…
  ☆63Updated last month
• teorth / erdosproblems
  A community database for the problems on the erdosproblems.com site
  ☆105Updated this week
• polymake / polymake
  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
  ☆84Updated last month
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• AlexKontorovich / PrimeNumberTheoremAnd
  blueprint for prime number theorem and more
  ☆203Updated last week
• teorth / symmetric_project
  ☆93Updated 2 years ago
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆396Updated this week
• 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…
  ☆83Updated last year
• 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…
  ☆111Updated this week
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆210Updated last year
• tBuLi / kingdon
  A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.
  ☆95Updated last month
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆260Updated last year
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆62Updated this week
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆54Updated 2 weeks ago
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆436Updated 5 months ago
• gilbo / atl
  A Tensor Language
  ☆55Updated 4 years ago
• jirilebl / diffyqs
  Notes on Diffy Qs, a textbook for differential equations
  ☆76Updated this week
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆48Updated 3 weeks ago
• MathBases / MathBases
  ☆25Updated 3 weeks ago
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆120Updated last month
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆62Updated 2 years ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 3 years ago
• SpectralSequences / sseq
  The root repository for the SpectralSequences project.
  ☆31Updated this week
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆175Updated 2 months ago
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆76Updated last week
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• teorth / expdb
  Exponent pair database
  ☆62Updated last week
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆76Updated 2 years ago