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 8 months ago
• pygae / GAlgebra.jl
  Julia interface to GAlgebra via PyCall
  ☆17Updated this week
• tBuLi / kingdon
  A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.
  ☆71Updated last month
• ArturasAcus / GeometricAlgebra
  Mathematica package for Clifford (geometric) algebra calculations
  ☆11Updated last month
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• nilesjohnson / hopf_fibration
  Modifications of Niles Johnson's Hopf Fibration drawing code
  ☆34Updated 10 years ago
• Lichtso / geometric_algebra
  Generate(d) custom libraries for geometric algebras
  ☆48Updated 11 months ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆21Updated 6 months ago
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆27Updated 4 years ago
• Prograf-UFF / TbGAL
  TbGAL: Tensor-Based Geometric Algebra Library
  ☆27Updated 3 years ago
• gradbench / gradbench
  Benchmarks for differentiable programming across languages and domains.
  ☆37Updated this week
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• argumentcomputer / RustFFI.lean
  Template for Lean<->Rust FFI
  ☆12Updated last year
• ga / formulas
  A collection of formulas needed for everyday calculations in geometric algebra and calculus
  ☆18Updated 7 years ago
• ATOMSLab / LeanChemicalTheories
  ☆32Updated last year
• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆15Updated 3 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 2 months ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆27Updated last month
• laffernandes / gatl
  GATL: Geometric Algebra Template Library
  ☆60Updated 2 years ago
• wrnrlr / g3
  Neat 3D math and graphics library
  ☆32Updated 2 years ago
• Jollywatt / GeometricAlgebra.jl
  Yet another Julia package for working with geometric (or Clifford) algebras.
  ☆22Updated last month
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆53Updated this week
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated last year
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆28Updated this week
• b-mehta / unit-fractions
  ☆15Updated last year
• regina-normal / regina
  The main source code for Regina
  ☆38Updated this week
• Vilin97 / linear-algebra-done-right
  ☆10Updated 2 years ago
• penguian / glucat
  GluCat: Clifford algebra templates
  ☆20Updated 2 months ago
• chrisjldoran / SimpleGA
  A simple implementation of low-dimensional geometric algebras in Julia.
  ☆13Updated 2 years ago
• codereport / jellyfish
  A fork of Jelly (recreational programming language inspired by J) that fixes bugs I have run into and extends the language.
  ☆14Updated 11 months ago