Alternatives and similar repositories for math-from-nothing

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

• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆53Updated 3 weeks ago
• janicicpredrag / gclc
  GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…
  ☆62Updated 6 months ago
• jlaragonvera / Geometric-Algebra
  Mathematica packages for geometric algebra
  ☆48Updated 4 months ago
• assumptionsofphysics / book
  The "Assumptions of Physics" book
  ☆32Updated this week
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆28Updated 5 years ago
• sudgy / ganim
  A math animation engine based on geometric algebra
  ☆30Updated 2 months ago
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆346Updated last month
• mo-geometry / hopf_fibration
  Quaternions, Spinors and the Hopf Fibration: Hidden Variables in Classical Mechanics
  ☆25Updated 3 years ago
• ncatlab / nlab
  Source code for the nLab
  ☆186Updated 6 months ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• Jollywatt / GeometricAlgebra.jl
  Yet another Julia package for working with geometric (or Clifford) algebras.
  ☆24Updated 3 months ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• peeterjoot / GAelectrodynamics
  Latex sources for http://peeterjoot.com/writing/geometric-algebra-for-electrical-engineers/
  ☆16Updated 2 weeks ago
• AlgebraicJulia / Decapodes.jl
  A framework for composing and simulating multiphysics systems
  ☆72Updated last week
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆31Updated last year
• ArturasAcus / GeometricAlgebra
  Mathematica package for Clifford (geometric) algebra calculations
  ☆13Updated 2 months ago
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆425Updated 3 months ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆48Updated last year
• LiamMcAllisterGroup / cytools
  A software package for analyzing Calabi-Yau manifolds.
  ☆36Updated this week
• sagemath / sagetex
  Embed code, results of computations, and plots from the Sage mathematics software suite (https://www.sagemath.org) into LaTeX documents. …
  ☆69Updated 2 years ago
• pygae / GAlgebra.jl
  Julia interface to GAlgebra via PyCall
  ☆17Updated this week
• Foadsf / Awesome-FLOSS-CAS
  A curated list of outstanding Free, Libre, and Open Source Software (FLOSS) Computer Algebra Systems (CAS) for mathematicians, educators,…
  ☆23Updated last year
• Nemocas / Nemo.jl
  Julia bindings for the FLINT number theory C library
  ☆207Updated this week
• tBuLi / kingdon
  A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.
  ☆93Updated last month
• hhu-adam / GameSkeleton
  The standard template to create a lean game
  ☆28Updated 3 weeks ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆104Updated 7 months ago
• regina-normal / regina
  The main source code for Regina
  ☆38Updated this week
• RuleBasedIntegration / Rubi-5
  A Rule-Based Integrator Built On An If-Then-Else Decision Tree
  ☆37Updated 4 years ago
• JuliaSymbolics / Metatheory.jl
  Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for t…
  ☆383Updated last week