sudgy / ganimLinks
A math animation engine based on geometric algebra
☆33Updated 4 months ago
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☆23Updated 2 weeks ago
- A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.☆96Updated 3 weeks ago
- GATL: Geometric Algebra Template Library☆61Updated 3 years ago
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆61Updated 2 months ago
- Mathematica packages for geometric algebra☆48Updated 5 months ago
- Gaalop (Geometic Algebra Algorithms Optimizer) is a software to compile and optimize geometric algebra (GA) expressions into high-level p…☆109Updated 3 weeks ago
- Official repository of the FriCAS computer algebra system☆350Updated last week
- Generate(d) custom libraries for geometric algebras☆51Updated last year
- The main source code for Regina☆39Updated last week
- Python implementation of the monster group☆53Updated 3 weeks ago
- TbGAL: Tensor-Based Geometric Algebra Library☆28Updated 3 years ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆32Updated this week
- A curated list of geometric algebra resources☆134Updated 5 years ago
- ☆60Updated 6 months ago
- A formalized proof of Carleson's theorem in Lean☆75Updated this week
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated 2 years ago
- Source code for the nLab☆189Updated 7 months ago
- ☆25Updated 2 weeks ago
- Metamath source file for logic and set theory☆296Updated this week
- Scientific computing in Lean 4☆433Updated 4 months ago
- A computer algebra system for research in combinatorial game theory☆50Updated last year
- This repository contains the source html files for the website complex-analysis.com☆17Updated 4 months ago
- The "Assumptions of Physics" book☆33Updated last week
- A project to digitalise results from physics into Lean.☆375Updated this week
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆63Updated last month
- Awesome Geometric Algebra☆28Updated 5 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆35Updated 5 months ago
- Server to host lean games.☆334Updated last week
- blueprint for prime number theorem and more☆198Updated last week
- The Open Problems Project☆39Updated 4 months ago