Alternatives and similar repositories for math-from-nothing

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

• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆27Updated 4 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• ArturasAcus / GeometricAlgebra
  Mathematica package for Clifford (geometric) algebra calculations
  ☆12Updated last month
• pygae / GAlgebra.jl
  Julia interface to GAlgebra via PyCall
  ☆17Updated this week
• jlaragonvera / Geometric-Algebra
  Mathematica packages for geometric algebra
  ☆48Updated this week
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆31Updated last year
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆30Updated this week
• tBuLi / kingdon
  A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.
  ☆72Updated last month
• AlgebraicJulia / Decapodes.jl
  A framework for composing and simulating multiphysics systems
  ☆64Updated this week
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• pzinn / Macaulay2Web
  Macaulay2 web app with support for KaTeX and HTML output
  ☆18Updated 4 months ago
• gradbench / gradbench
  Benchmarks for differentiable programming across languages and domains.
  ☆38Updated this week
• wbhart / AbstractAlgebra.jl
  Generic abstract algebra functionality in pure Julia (no C dependencies)
  ☆55Updated 2 years ago
• peeterjoot / physicsplay
  Latex source for geometric algebra and physics notes.
  ☆38Updated last week
• RuleBasedIntegration / Rubi-5
  A Rule-Based Integrator Built On An If-Then-Else Decision Tree
  ☆35Updated 4 years ago
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆234Updated this week
• HPAC / linnea
  Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.
  ☆69Updated 3 years ago
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆28Updated 3 years ago
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆98Updated last year
• peeterjoot / GAelectrodynamics
  Latex sources for http://peeterjoot.com/writing/geometric-algebra-for-electrical-engineers/
  ☆15Updated 3 weeks ago
• Prograf-UFF / TbGAL
  TbGAL: Tensor-Based Geometric Algebra Library
  ☆27Updated 3 years ago
• sagemath / sagetex
  Embed code, results of computations, and plots from the Sage mathematics software suite (https://www.sagemath.org) into LaTeX documents. …
  ☆64Updated 2 years ago
• ATOMSLab / LeanChemicalTheories
  ☆33Updated last year
• zenna / Z3.jl
  Julia wrapper for The Z3 Theorem Prover (SMT Solver)
  ☆24Updated 7 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• sudgy / ganim
  A math animation engine based on geometric algebra
  ☆25Updated 3 weeks ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated 2 weeks ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆115Updated 6 months ago
• AlgebraicJulia / ACSets.jl
  ACSets: Algebraic databases as in-memory data structures
  ☆23Updated 3 weeks ago
• digitaldomain / Multivectors.jl
  Multivectors for geometric algebra
  ☆24Updated 2 years ago