tBuLi / kingdonLinks
A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.
☆83Updated this week
Alternatives and similar repositories for kingdon
Users that are interested in kingdon are comparing it to the libraries listed below
Sorting:
- Geometric algebra in JAX and numpy☆81Updated 2 months ago
- TbGAL: Tensor-Based Geometric Algebra Library☆27Updated 3 years ago
- Symbolic Geometric Algebra/Calculus package for SymPy☆261Updated 3 weeks ago
- Visualisation library for geometric algebra with cefpython and ganja.js☆54Updated 4 years ago
- ⟨Grassmann-Clifford-Hodge⟩ multilinear differential geometric algebra☆488Updated last week
- Python package for Geometric / Clifford Algebra with TensorFlow☆52Updated 2 years ago
- A curated list of geometric algebra resources☆133Updated 5 years ago
- Geometric Algebra package for JAX☆49Updated 3 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆29Updated last month
- Building dynamical systems compositionally☆71Updated 7 months ago
- ☆69Updated 2 months ago
- Mathematica packages for geometric algebra☆48Updated last month
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…☆104Updated last week
- Geometric Algebra for Python☆821Updated 4 months ago
- The main source code for Regina☆38Updated this week
- Scientific computing in Lean 4☆411Updated 2 weeks ago
- A framework for composing and simulating multiphysics systems☆67Updated this week
- A collaborative environment for formal, interoperable, conceptual modeling☆79Updated this week
- A simple implementation of low-dimensional geometric algebras in Julia.☆13Updated 2 years ago
- GATL: Geometric Algebra Template Library☆60Updated 3 years ago
- GluCat: Clifford algebra templates☆21Updated 3 months ago
- Source code for lecture notes☆148Updated 10 months ago
- Multivectors for geometric algebra☆24Updated 3 years ago
- a datastructure for scalable combinatorial syntax☆18Updated 3 months ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- Mathematica package for Clifford (geometric) algebra calculations☆12Updated 3 months ago
- Build Petri net models compositionally☆84Updated 7 months ago
- A project to digitalise results from physics into Lean.☆268Updated this week
- Developing mathematics in Coq from the ground up☆20Updated 10 months ago