Alternatives and similar repositories for ganim:

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

• tBuLi / kingdon
  A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.
  ☆47Updated this week
• jlaragonvera / Geometric-Algebra
  Mathematica packages for geometric algebra
  ☆46Updated last year
• sudgy / math-from-nothing
  Developing mathematics in Coq from the ground up
  ☆18Updated 5 months ago
• Prograf-UFF / TbGAL
  TbGAL: Tensor-Based Geometric Algebra Library
  ☆27Updated 2 years ago
• penguian / glucat
  GluCat: Clifford algebra templates
  ☆19Updated this week
• pygae / GAlgebra.jl
  Julia interface to GAlgebra via PyCall
  ☆15Updated this week
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆29Updated this week
• ArturasAcus / GeometricAlgebra
  Mathematica package for Clifford (geometric) algebra calculations
  ☆11Updated 7 months ago
• codereport / kjunior
  K Junior is an MIT licensed open source array language written by Arthur Whitney.
  ☆20Updated 7 months ago
• Lichtso / geometric_algebra
  Generate(d) custom libraries for geometric algebras
  ☆48Updated 8 months ago
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆41Updated this week
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆26Updated 4 years ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆25Updated this week
• HEPLean / HepLean
  A project to digitalise results from high energy physics into Lean.
  ☆105Updated this week
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 2 months ago
• nilesjohnson / hopf_fibration
  Modifications of Niles Johnson's Hopf Fibration drawing code
  ☆33Updated 10 years ago
• RuleBasedIntegration / Rubi-5
  A Rule-Based Integrator Built On An If-Then-Else Decision Tree
  ☆34Updated 3 years ago
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆11Updated this week
• laffernandes / gatl
  GATL: Geometric Algebra Template Library
  ☆58Updated 2 years ago
• wrnrlr / g3
  Neat 3D math and graphics library
  ☆32Updated last year
• leanprover / verso
  Lean documentation authoring tool
  ☆138Updated this week
• mwalczyk / pga-axioms
  Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.
  ☆12Updated 3 years ago
• ga / formulas
  A collection of formulas needed for everyday calculations in geometric algebra and calculus
  ☆16Updated 7 years ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆84Updated this week
• ConnorGray / Vilfram
  Vi-like editing for Wolfram Notebooks
  ☆11Updated last year
• argumentcomputer / RustFFI.lean
  Template for Lean<->Rust FFI
  ☆11Updated 11 months ago
• GPUE-group / GPUE
  GPU Gross-Pitaevskii Equation numerical solver for Bose-Einstein condensates.
  ☆40Updated 4 years ago
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated last year
• ATOMSLab / LeanChemicalTheories
  ☆30Updated 10 months ago