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
  ☆38Updated last week
• janicicpredrag / gclc
  GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…
  ☆64Updated 6 months ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• polymake / polymake
  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
  ☆80Updated 2 months ago
• ga / awesome-geometric-algebra
  A curated list of geometric algebra resources
  ☆134Updated 5 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…
  ☆106Updated this week
• teorth / symmetric_project
  ☆92Updated last year
• gilbo / atl
  A Tensor Language
  ☆55Updated 4 years ago
• CallForSanity / Gaalop
  Gaalop (Geometic Algebra Algorithms Optimizer) is a software to compile and optimize geometric algebra (GA) expressions into high-level p…
  ☆110Updated 3 months ago
• jlaragonvera / Geometric-Algebra
  Mathematica packages for geometric algebra
  ☆48Updated 3 months ago
• WolframResearch / codeparser
  Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)
  ☆144Updated last year
• metamath / metamath-book
  Source of metamath book
  ☆50Updated last year
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆53Updated last week
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• jirilebl / diffyqs
  Notes on Diffy Qs, a textbook for differential equations
  ☆74Updated this week
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆54Updated 2 years ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆48Updated this week
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆384Updated this week
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆62Updated this week
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆206Updated last year
• ncatlab / nlab
  Source code for the nLab
  ☆184Updated 5 months ago
• tBuLi / kingdon
  A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.
  ☆93Updated last month
• MathBases / MathBases
  ☆23Updated last week
• RuleBasedIntegration / Rubi
  Rubi for Mathematica
  ☆250Updated last year
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆28Updated 5 years ago
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆168Updated 2 weeks ago
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆425Updated 2 months ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆254Updated last year
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated 2 months ago