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 2 months ago
• teorth / erdosproblems
  A community database for the problems on the erdosproblems.com site
  ☆111Updated this week
• 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…
  ☆112Updated last week
• polymake / polymake
  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
  ☆84Updated 2 months ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆265Updated last year
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆438Updated 5 months ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆55Updated this week
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆399Updated this week
• tBuLi / kingdon
  A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.
  ☆96Updated last month
• teorth / symmetric_project
  ☆93Updated 2 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 3 years ago
• winitzki / linear-algebra-book
  The full source code and hyperlinked PDF of the book "Linear Algebra via Exterior Products" (2010)
  ☆111Updated 2 years ago
• jirilebl / diffyqs
  Notes on Diffy Qs, a textbook for differential equations
  ☆76Updated this week
• SpectralSequences / sseq
  The root repository for the SpectralSequences project.
  ☆32Updated last week
• teorth / expdb
  Exponent pair database
  ☆62Updated last week
• CallForSanity / Gaalop
  Gaalop (Geometic Algebra Algorithms Optimizer) is a software to compile and optimize geometric algebra (GA) expressions into high-level p…
  ☆111Updated last month
• MathBases / MathBases
  ☆26Updated last month
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• WolframResearch / codeparser
  Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)
  ☆144Updated last year
• AlexKontorovich / PrimeNumberTheoremAnd
  blueprint for prime number theorem and more
  ☆210Updated 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…
  ☆84Updated last year
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆360Updated 3 weeks ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆212Updated last year
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆97Updated last month
• jlaragonvera / Geometric-Algebra
  Mathematica packages for geometric algebra
  ☆49Updated 6 months ago
• complex-analysis / complex-analysis.github.io
  Complex Analysis: A Visual and Interactive Introduction
  ☆204Updated 3 weeks ago
• gilbo / atl
  A Tensor Language
  ☆55Updated 4 years ago
• pygae / galgebra
  Symbolic Geometric Algebra/Calculus package for SymPy
  ☆270Updated 6 months ago