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 / GAlgebra.jl
  Julia interface to GAlgebra via PyCall
  ☆15Updated this week
• Prograf-UFF / TbGAL
  TbGAL: Tensor-Based Geometric Algebra Library
  ☆27Updated 2 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• tBuLi / kingdon
  A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.
  ☆49Updated last week
• ArturasAcus / GeometricAlgebra
  Mathematica package for Clifford (geometric) algebra calculations
  ☆11Updated 8 months ago
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆26Updated 4 years ago
• digitaldomain / Multivectors.jl
  Multivectors for geometric algebra
  ☆24Updated 2 years ago
• jlaragonvera / Geometric-Algebra
  Mathematica packages for geometric algebra
  ☆47Updated last year
• Jollywatt / GeometricAlgebra.jl
  Yet another Julia package for working with geometric (or Clifford) algebras.
  ☆22Updated 2 weeks ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 3 months ago
• peeterjoot / physicsplay
  Latex source for geometric algebra and physics notes.
  ☆37Updated this week
• ImperialCollegeLondon / complex-number-game
  The Complex Number Game. Make the complex numbers in Lean.
  ☆36Updated 2 years ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 4 years ago
• mo-geometry / hopf_fibration
  Quaternions, Spinors and the Hopf Fibration: Hidden Variables in Classical Mechanics
  ☆24Updated 3 years ago
• Vilin97 / linear-algebra-done-right
  ☆10Updated 2 years ago
• Limeth / hestenes
  Geometric algebra library for Rust
  ☆21Updated 6 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated last month
• AlgebraicJulia / Decapodes.jl
  A framework for composing and simulating multiphysics systems
  ☆56Updated this week
• andrioni / GeoAlg.jl
  A basic geometric algebra library in Julia
  ☆12Updated 8 years ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆28Updated 2 months ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆75Updated last year
• chrisjldoran / SimpleGA
  A simple implementation of low-dimensional geometric algebras in Julia.
  ☆12Updated last year
• taliesinb / MathTools
  MathTools is a Wolfram Language package that provides the software infrastructure I use for creating typeset mathematical diagrams and eq…
  ☆20Updated 11 months ago
• penguian / glucat
  GluCat: Clifford algebra templates
  ☆19Updated 3 weeks ago
• assumptionsofphysics / book
  The "Assumptions of Physics" book
  ☆24Updated this week
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• thosgood / translations
  some maths papers in English
  ☆18Updated 3 months ago
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆25Updated this week
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆25Updated last week