sudgy / ganimLinks
A math animation engine based on geometric algebra
☆35Updated 5 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☆24Updated last month
- A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.☆96Updated last week
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆62Updated 3 months ago
- GATL: Geometric Algebra Template Library☆63Updated 3 years ago
- Gaalop (Geometic Algebra Algorithms Optimizer) is a software to compile and optimize geometric algebra (GA) expressions into high-level p…☆112Updated 2 months ago
- Mathematica packages for geometric algebra☆49Updated 7 months ago
- A Rule-Based Integrator Built On An If-Then-Else Decision Tree☆37Updated 4 years ago
- TbGAL: Tensor-Based Geometric Algebra Library☆28Updated 3 years ago
- Awesome Geometric Algebra☆29Updated 5 years ago
- A curated list of geometric algebra resources☆135Updated 5 years ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆34Updated last week
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆54Updated 2 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆37Updated 7 months ago
- Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)☆144Updated last year
- Official repository of the FriCAS computer algebra system☆361Updated last month
- JavaScript-based translation of UnicodeMath to MathML 4.0. The facility supports dictation, speech, Nemeth braille, and LaTeX. The intera…☆34Updated last week
- Symbolic Geometric Algebra/Calculus package for SymPy☆270Updated 6 months ago
- Finds patterns in the Collatz Tree☆19Updated 2 years ago
- Like APL, but with emojis☆15Updated 3 years ago
- A general-purpose programmatic animation tool☆242Updated 2 weeks ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- A formalized proof of Carleson's theorem in Lean☆79Updated last week
- Visualisation library for geometric algebra with cefpython and ganja.js☆54Updated 4 years ago
- Syntax trees for typst☆43Updated 2 months ago
- Source code for the nLab☆193Updated 9 months ago
- Generate(d) custom libraries for geometric algebras☆52Updated last year
- Convert Typst equations into functions☆26Updated last month
- A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.☆205Updated 10 months ago
- A curated list of outstanding Free, Libre, and Open Source Software (FLOSS) Computer Algebra Systems (CAS) for mathematicians, educators,…☆30Updated last year
- The main source code for Regina☆39Updated this week