Alternatives and similar repositories for math-from-nothing

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

• ArturasAcus / GeometricAlgebra
  Mathematica package for Clifford (geometric) algebra calculations
  ☆12Updated 3 weeks ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆28Updated 5 years ago
• pygae / GAlgebra.jl
  Julia interface to GAlgebra via PyCall
  ☆17Updated this week
• jlaragonvera / Geometric-Algebra
  Mathematica packages for geometric algebra
  ☆48Updated 2 months ago
• tBuLi / kingdon
  A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.
  ☆88Updated last week
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆30Updated last year
• janicicpredrag / gclc
  GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…
  ☆61Updated 4 months ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• RuleBasedIntegration / Rubi-5
  A Rule-Based Integrator Built On An If-Then-Else Decision Tree
  ☆36Updated 4 years ago
• cabralski / awesome-wolfram-language
  A curated list of Wolfram Language packages and resources.
  ☆39Updated 6 months ago
• sudgy / ganim
  A math animation engine based on geometric algebra
  ☆28Updated 3 weeks ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 5 years ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆49Updated last week
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆80Updated last year
• assumptionsofphysics / book
  The "Assumptions of Physics" book
  ☆28Updated 2 weeks ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆67Updated last year
• Prograf-UFF / TbGAL
  TbGAL: Tensor-Based Geometric Algebra Library
  ☆27Updated 3 years ago
• Jollywatt / GeometricAlgebra.jl
  Yet another Julia package for working with geometric (or Clifford) algebras.
  ☆23Updated last month
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆21Updated 8 months ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆73Updated last year
• AlgebraicJulia / Decapodes.jl
  A framework for composing and simulating multiphysics systems
  ☆69Updated this week
• 4ti2 / 4ti2
  A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…
  ☆39Updated last month
• LiamMcAllisterGroup / cytools
  A software package for analyzing Calabi-Yau manifolds.
  ☆35Updated this week
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆47Updated last week
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last week
• digitaldomain / Multivectors.jl
  Multivectors for geometric algebra
  ☆25Updated 3 years ago
• 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
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆31Updated last week
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆160Updated last week