Alternatives and similar repositories for ganim

Users that are interested in ganim are comparing it to the libraries listed below

• sudgy / math-from-nothing
  Developing mathematics in Coq from the ground up
  ☆20Updated this week
• Lichtso / geometric_algebra
  Generate(d) custom libraries for geometric algebras
  ☆48Updated last year
• tBuLi / kingdon
  A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.
  ☆86Updated last week
• Prograf-UFF / TbGAL
  TbGAL: Tensor-Based Geometric Algebra Library
  ☆27Updated 3 years ago
• 3-manifolds / Spherogram
  Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…
  ☆21Updated 3 weeks ago
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆28Updated 4 years ago
• ArturasAcus / GeometricAlgebra
  Mathematica package for Clifford (geometric) algebra calculations
  ☆12Updated 3 months ago
• jlaragonvera / Geometric-Algebra
  Mathematica packages for geometric algebra
  ☆48Updated last month
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆29Updated last month
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 4 months ago
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆28Updated this week
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated 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
• penguian / glucat
  GluCat: Clifford algebra templates
  ☆21Updated 3 months ago
• wrnrlr / g3
  Neat 3D math and graphics library
  ☆33Updated 2 years ago
• MurrayIII / UnicodeMathML
  JavaScript-based translation of UnicodeMath to MathML that can be integrated into arbitrary HTML or Markdeep documents. An interactive "p…
  ☆29Updated last week
• lecopivo / scientific-computing-lean
  work in progress book on Scientific Computing in Lean
  ☆13Updated 3 months ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆21Updated 7 months ago
• codereport / kjunior
  K Junior is an MIT licensed open source array language written by Arthur Whitney.
  ☆21Updated last year
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• RuleBasedIntegration / Rubi-5
  A Rule-Based Integrator Built On An If-Then-Else Decision Tree
  ☆36Updated 4 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated last month
• pygae / GAlgebra.jl
  Julia interface to GAlgebra via PyCall
  ☆17Updated this week
• ConnorGray / Vilfram
  Vi-like editing for Wolfram Notebooks
  ☆11Updated 2 years ago
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆29Updated 3 years ago
• ga / formulas
  A collection of formulas needed for everyday calculations in geometric algebra and calculus
  ☆18Updated 8 years ago
• ATOMSLab / LeanChemicalTheories
  ☆34Updated last year
• WolframInstitute / GeometricAlgebra
  Wolfram package for Geometric Algebra
  ☆8Updated 2 weeks ago
• JerryI / Mathematica-ThreeJS-graphics-engine
  A parser for Wolfram Mathematica's Graphics3D functions (written in JS)
  ☆29Updated this week