mwalczyk / pga-axioms
Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.
☆11Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for pga-axioms
- Interface for the ganja.js library in Julia☆10Updated last year
- Neat 3D math and graphics library☆32Updated last year
- Geometric algebra library for Rust☆21Updated 6 years ago
- Awesome Geometric Algebra☆23Updated 4 years ago
- Julia interface to GAlgebra via PyCall☆14Updated this week
- Port of Jeremy Ong's SIMD-enabled projective geometric algebra library☆16Updated 4 years ago
- Generate(d) custom libraries for geometric algebras☆46Updated 5 months ago
- TbGAL: Tensor-Based Geometric Algebra Library☆27Updated 2 years ago
- Parallelized 3D FDTD Schrödinger Equation Solver☆21Updated 6 years ago
- A Symbolic Code Algebra+Calculus system for VS Code☆29Updated 2 years ago
- GluCat: Clifford algebra templates☆19Updated 2 months ago
- A basic geometric algebra library in Julia☆12Updated 7 years ago
- Define a Parsing Expression Grammar via a macro and abuse of Julia syntax.☆29Updated 4 months ago
- Tangent bundle, vector space and Submanifold definition☆50Updated 3 weeks ago
- A 4-dimensional labyrinth☆26Updated 5 years ago
- TypeScript Geometric Algebra Generator☆12Updated 9 months ago
- Julia implementation of https://github.com/ulfjack/ryu☆10Updated 4 years ago
- Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees☆16Updated 4 years ago
- Multivectors for geometric algebra☆24Updated 2 years ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆11Updated last year
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆24Updated 2 weeks ago
- Algorithmic music composition in Julia☆10Updated 4 years ago
- Simple and efficient SDF calculation.☆24Updated last year
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆13Updated last year
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Updated 7 years ago
- 🏃♀️🏃♂️ ⏳ A Julia wrapper for wasmtime☆12Updated last year
- Tensor algebra utility library☆19Updated last month
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆50Updated last year
- Julia binding for MMTk☆13Updated this week
- Theorems, Definitions, Papers, Research☆15Updated 5 years ago