mwalczyk / pga-axiomsLinks
Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.
☆12Updated 4 years ago
Alternatives and similar repositories for pga-axioms
Users that are interested in pga-axioms are comparing it to the libraries listed below
Sorting:
- Julia interface to GAlgebra via PyCall☆17Updated this week
- Geometric algebra library for Rust☆22Updated 6 years ago
- Interface for the ganja.js library in Julia☆9Updated 2 years ago
- TbGAL: Tensor-Based Geometric Algebra Library☆27Updated 3 years ago
- Awesome Geometric Algebra☆28Updated 5 years ago
- Parallelized 3D FDTD Schrödinger Equation Solver☆21Updated 6 years ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- Neat 3D math and graphics library☆33Updated 2 years ago
- ACSets: Algebraic databases as in-memory data structures☆25Updated 2 months ago
- GluCat: Clifford algebra templates☆21Updated 4 months ago
- Structured decompositions!☆14Updated 3 months ago
- A simple library for language and compilers building☆7Updated 4 years ago
- A basic geometric algebra library in Julia☆12Updated 8 years ago
- ☆12Updated this week
- Generate(d) custom libraries for geometric algebras☆49Updated last year
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Port of Jeremy Ong's SIMD-enabled projective geometric algebra library☆16Updated 4 years ago
- Abstract type and interface definition for quantum circuit blocks.☆17Updated 3 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆31Updated last week
- Theorems, Definitions, Papers, Research☆17Updated 6 years ago
- Mathematica package for Clifford (geometric) algebra calculations☆12Updated 3 weeks ago
- Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees☆16Updated 5 years ago
- A Symbolic Code Algebra+Calculus system for VS Code☆31Updated 3 years ago
- Tangent bundle, vector space and Submanifold definition☆50Updated 2 weeks ago
- Standard basic quantum circuit simulator building blocks. (archived, for it is moved to Yao.jl)☆26Updated 3 years ago
- Exact reduction of ODE models via linear transformations☆12Updated last year
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆31Updated last week
- ☆16Updated last month
- A solver for halting problem of Brainfuck programs☆17Updated 5 years ago
- A graphical editor for graph-like structures☆99Updated last year