zalo / Symplex
A Symbolic Code Algebra+Calculus system for VS Code
☆31Updated 3 years ago
Alternatives and similar repositories for Symplex:
Users that are interested in Symplex are comparing it to the libraries listed below
- Awesome Geometric Algebra☆27Updated 4 years ago
- Julia interface to GAlgebra via PyCall☆17Updated this week
- Neat 3D math and graphics library☆32Updated last year
- Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.☆12Updated 4 years ago
- Port of Jeremy Ong's SIMD-enabled projective geometric algebra library☆16Updated 4 years ago
- Geometric algebra library for Rust☆22Updated 6 years ago
- A program for drawing knots and links, with support for importing images☆31Updated last year
- Exploring the Klein Quartic's geometry.☆28Updated last year
- Lean 4 as a scripting language in Houdini☆20Updated last year
- GluCat: Clifford algebra templates☆20Updated 2 months ago
- TbGAL: Tensor-Based Geometric Algebra Library☆27Updated 3 years ago
- TypeScript Geometric Algebra Generator☆16Updated last year
- Experiments with moebius transformations and non-euclidian perspectives.☆12Updated 2 years ago
- Interface for the ganja.js library in Julia☆10Updated 2 years ago
- WebGL library for mathematical physics using Geometric Algebra☆23Updated 6 months ago
- "Single Rotation" cellular automaton demonstration with Lanczos smoothing☆21Updated 10 years ago
- Discrete Differential Geometry in Javascript☆18Updated 11 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Metamath verifier in Python☆38Updated last year
- Hierarchical computation graphs; details at☆19Updated 8 years ago
- Visualising straight lines (geodesics) on the pseudosphere and related geometries.☆14Updated last year
- Generate(d) custom libraries for geometric algebras☆48Updated 11 months ago
- JavaScript MOOC simulations for the edX class Quantum Mechanics for Everyone provided by Georgetown University☆17Updated 7 years ago
- Geometric Algebra Library☆98Updated 5 years ago
- Mathematica package for Clifford (geometric) algebra calculations☆11Updated last month
- A formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Updated 3 years ago
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆47Updated last year
- An implementation of an algebraically closed interval system of the extended real number set☆91Updated 2 weeks ago
- Formalism and proofs for esverify☆20Updated 6 years ago
- ☆57Updated 3 weeks ago