sudgy / ganimLinks
A math animation engine based on geometric algebra
☆26Updated last month
Alternatives and similar repositories for ganim
Users that are interested in ganim are comparing it to the libraries listed below
Sorting:
- Developing mathematics in Coq from the ground up☆20Updated 9 months ago
- A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.☆79Updated this week
- Generate(d) custom libraries for geometric algebras☆48Updated last year
- TbGAL: Tensor-Based Geometric Algebra Library☆27Updated 3 years ago
- Awesome Geometric Algebra☆27Updated 4 years ago
- A collection of formulas needed for everyday calculations in geometric algebra and calculus☆18Updated 7 years ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- a datastructure for scalable combinatorial syntax☆18Updated 3 months ago
- Python implementation of the monster group☆45Updated this week
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated last month
- A fork of Jelly (recreational programming language inspired by J) that fixes bugs I have run into and extends the language.☆15Updated last year
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆27Updated 2 weeks ago
- Neat 3D math and graphics library☆32Updated 2 years ago
- A curated list of geometric algebra resources☆133Updated 4 years ago
- An interactive theorem prover for string diagrams☆118Updated 7 months ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- Formalizing results about the Mandelbrot set in Lean☆21Updated 6 months ago
- Mathematica package for Clifford (geometric) algebra calculations☆12Updated 2 months ago
- A simple implementation of low-dimensional geometric algebras in Julia.☆13Updated 2 years ago
- K Junior is an MIT licensed open source array language written by Arthur Whitney.☆21Updated last year
- Hypergraph Rewriting System☆73Updated last year
- A computer formalisation of parts of Martin Liebeck's book "a concise introduction to pure mathematics"☆11Updated last year
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆28Updated this week
- Mathematica packages for geometric algebra☆48Updated 3 weeks ago
- GluCat: Clifford algebra templates☆20Updated 2 months ago
- ☆34Updated last year
- Port of Jeremy Ong's SIMD-enabled projective geometric algebra library☆16Updated 4 years ago
- A realistic future development for the core language of Dyalog APL☆11Updated 2 weeks ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- A project to digitalise results from physics into Lean.☆259Updated this week