mwalczyk / pga-axioms
Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.
☆12Updated 3 years ago
Alternatives and similar repositories for pga-axioms:
Users that are interested in pga-axioms are comparing it to the libraries listed below
- Interface for the ganja.js library in Julia☆10Updated 2 years ago
- Geometric algebra library for Rust☆21Updated 6 years ago
- Port of Jeremy Ong's SIMD-enabled projective geometric algebra library☆16Updated 4 years ago
- Neat 3D math and graphics library☆32Updated last year
- Julia interface to GAlgebra via PyCall☆15Updated this week
- A Symbolic Code Algebra+Calculus system for VS Code☆29Updated 2 years ago
- GluCat: Clifford algebra templates☆19Updated this week
- TbGAL: Tensor-Based Geometric Algebra Library☆27Updated 2 years ago
- Tangent bundle, vector space and Submanifold definition☆50Updated last month
- Parallelized 3D FDTD Schrödinger Equation Solver☆21Updated 6 years ago
- Structured decompositions!☆12Updated this week
- Awesome Geometric Algebra☆26Updated 4 years ago
- ACSets: Algebraic databases as in-memory data structures☆21Updated last week
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- A basic geometric algebra library in Julia☆12Updated 8 years ago
- Multivectors for geometric algebra☆24Updated 2 years ago
- Theorems, Definitions, Papers, Research☆15Updated 5 years ago
- Matroids in Lean☆18Updated last year
- Generate(d) custom libraries for geometric algebras☆48Updated 8 months ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆25Updated this week
- Tensor algebra utility library☆19Updated 3 months ago
- Tensor algebra abstract type interoperability setup☆43Updated 2 months ago
- Simple and efficient SDF calculation.☆24Updated last year
- Experimental type-safe geometric algebra for Rust☆53Updated last year
- Assorted s-expression utilities for Julia☆15Updated 11 months ago
- Metamath verifier in Python☆36Updated 9 months ago
- A simple library for language and compilers building☆7Updated 4 years ago
- Bayesian inference on wiring diagrams.☆18Updated last year
- Wolfram package for Geometric Algebra☆7Updated 4 years ago