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 3 months ago
• regina-normal / regina
  The main source code for Regina
  ☆39Updated last week
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆63Updated 2 weeks ago
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆400Updated last week
• 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 this week
• jirilebl / diffyqs
  Notes on Diffy Qs, a textbook for differential equations
  ☆76Updated 2 weeks ago
• polymake / polymake
  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
  ☆85Updated 2 months ago
• assumptionsofphysics / book
  The "Assumptions of Physics" book
  ☆34Updated this week
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆33Updated last year
• gilbo / atl
  A Tensor Language
  ☆55Updated 4 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 3 years ago
• CallForSanity / Gaalop
  Gaalop (Geometic Algebra Algorithms Optimizer) is a software to compile and optimize geometric algebra (GA) expressions into high-level p…
  ☆113Updated 2 months ago
• teorth / erdosproblems
  A community database for the problems on the erdosproblems.com site
  ☆123Updated last week
• WolframResearch / codeparser
  Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)
  ☆144Updated last year
• jlaragonvera / Geometric-Algebra
  Mathematica packages for geometric algebra
  ☆49Updated 7 months ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆268Updated last year
• MathBases / MathBases
  ☆26Updated 2 months ago
• teorth / symmetric_project
  ☆93Updated 2 years ago
• rose-lang / rose
  Composable autodiff for the interactive web.
  ☆28Updated last year
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆364Updated this week
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆62Updated 2 years ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆214Updated last year
• 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
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆177Updated 4 months ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆200Updated last month
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆31Updated last year
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆442Updated 6 months ago
• comp-physics / awesome-numerics
  Resources for learning about numerical methods.
  ☆43Updated 2 years ago