sudgy / ganimLinks
A math animation engine based on geometric algebra
☆30Updated 2 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☆22Updated 2 months ago
- A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.☆93Updated last month
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆59Updated 3 weeks ago
- Python implementation of the monster group☆53Updated 3 weeks ago
- Like APL, but with emojis☆15Updated 3 years ago
- Data plotting library for the Uiua programming language☆15Updated 3 weeks ago
- ☆24Updated 3 weeks ago
- BQN programming language vscode plugin (symbol input, syntax highlighting)☆22Updated 11 months ago
- Metamath source file for logic and set theory☆294Updated this week
- Scientific computing in Lean 4☆425Updated 3 months ago
- Natural Number Game☆218Updated 3 weeks ago
- Utility algorithm for progressive-rendering of 1D and 2D data. Various implementations available (Python, C++, Mathematica, MATLAB).☆20Updated 8 months ago
- Source code for the nLab☆186Updated 6 months ago
- Programming with pure lambda calculus☆121Updated 2 weeks ago
- Official repository of the FriCAS computer algebra system☆346Updated last month
- The Knight Programming Language☆72Updated 3 months ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- A curated list of geometric algebra resources☆134Updated 5 years ago
- Gaalop (Geometic Algebra Algorithms Optimizer) is a software to compile and optimize geometric algebra (GA) expressions into high-level p…☆110Updated 3 months ago
- Haskell library for parsing and evaluating typst☆64Updated 2 weeks ago
- A formalized proof of Carleson's theorem in Lean☆68Updated 2 weeks ago
- The "Assumptions of Physics" book☆32Updated this week
- Accelerated machine learning with dependent types☆98Updated last month
- A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.☆192Updated 7 months ago
- ☆257Updated 2 weeks ago
- The main source code for Regina☆38Updated this week
- Implementation of a quantum simulator using APL☆18Updated 4 months ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- A curated list of outstanding Free, Libre, and Open Source Software (FLOSS) Computer Algebra Systems (CAS) for mathematicians, educators,…☆23Updated last year
- GPU-accelerated compiler☆350Updated last year