Alternatives and similar repositories for math-from-nothing

Users that are interested in math-from-nothing are comparing it to the libraries listed below

• sudgy / ganim
  A math animation engine based on geometric algebra
  ☆28Updated this week
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆28Updated 4 years ago
• ArturasAcus / GeometricAlgebra
  Mathematica package for Clifford (geometric) algebra calculations
  ☆12Updated 3 months ago
• Prograf-UFF / TbGAL
  TbGAL: Tensor-Based Geometric Algebra Library
  ☆27Updated 3 years ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• pygae / GAlgebra.jl
  Julia interface to GAlgebra via PyCall
  ☆17Updated this week
• jlaragonvera / Geometric-Algebra
  Mathematica packages for geometric algebra
  ☆48Updated last month
• tBuLi / kingdon
  A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.
  ☆86Updated last week
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• RuleBasedIntegration / Rubi-5
  A Rule-Based Integrator Built On An If-Then-Else Decision Tree
  ☆36Updated 4 years ago
• dprodanov / clifford
  Clifford algebra for CAS Maxima
  ☆16Updated 4 months ago
• WolframInstitute / GeometricAlgebra
  Wolfram package for Geometric Algebra
  ☆8Updated 2 weeks ago
• JerryI / wl-wlx
  Wolfram Language XML syntax extension (a superset of WL and XML) for building web-apps
  ☆17Updated 2 weeks ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆73Updated last year
• taliesinb / MathTools
  MathTools is a Wolfram Language package that provides the software infrastructure I use for creating typeset mathematical diagrams and eq…
  ☆19Updated last year
• assumptionsofphysics / book
  The "Assumptions of Physics" book
  ☆27Updated last week
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆29Updated last month
• robertylewis / mathematica
  Lean-independent implementation of the MM-Lean link
  ☆30Updated 2 years ago
• peeterjoot / mathematica
  mathematica (miscellaneous)
  ☆18Updated 2 months ago
• ConnorGray / Vilfram
  Vi-like editing for Wolfram Notebooks
  ☆11Updated 2 years ago
• stblake / algebraic_integration
  A suite of algorithms for computing algebraic (pseudo- and hyper-elliptic, nested radicals) integrals in terms of elementary functions.
  ☆9Updated last year
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆30Updated last year
• arnoudbuzing / prototypes
  miscellaneous wolfram language functions
  ☆30Updated 4 years ago
• penguian / glucat
  GluCat: Clifford algebra templates
  ☆21Updated 3 months ago
• thosgood / sga
  An English translation of the Séminaire de Géométrie Algébrique du Bois Marie
  ☆33Updated 4 months ago
• faysou / MTools
  Object Oriented Programming in Mathematica 10+
  ☆28Updated 2 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated last month
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆29Updated 3 years ago
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆28Updated this week
• kubaPod / MPM
  Additional features supporting paclets in Mathematica
  ☆15Updated 7 years ago