pygae / awesome-geometric-algebraView external linksLinks
Awesome Geometric Algebra
☆29Jul 11, 2020Updated 5 years ago
Alternatives and similar repositories for awesome-geometric-algebra
Users that are interested in awesome-geometric-algebra are comparing it to the libraries listed below
Sorting:
- Julia interface to GAlgebra via PyCall☆17Updated this week
- Visualisation library for geometric algebra with cefpython and ganja.js☆54Jun 9, 2021Updated 4 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆56Oct 25, 2023Updated 2 years ago
- GluCat: Clifford algebra templates☆22Updated this week
- Fork of Gaigen 2.5☆12Aug 14, 2015Updated 10 years ago
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- Experiments with moebius transformations and non-euclidian perspectives.☆12Apr 16, 2023Updated 2 years ago
- Write a shell in Python☆10Sep 27, 2018Updated 7 years ago
- Typeset scattered graph data rewriter based on LaTeX nodes☆13Apr 7, 2021Updated 4 years ago
- Aggregation of SymPy related blogs☆15Updated this week
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆25Jan 9, 2026Updated last month
- Type equality constraints☆16Apr 27, 2022Updated 3 years ago
- Tutorial for the CHR system☆16Feb 8, 2021Updated 5 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- The Candle theorem prover (fork of the HOL Light sources)☆18Updated this week
- Explorations in relations and the algebra of programming☆17Oct 4, 2019Updated 6 years ago
- An ergonomic, mobile-first, Prolog playground!☆31Sep 13, 2022Updated 3 years ago
- IO using sized types and copatterns☆36Apr 14, 2021Updated 4 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Jun 6, 2025Updated 8 months ago
- Python implementation of directed graph hashing, from the paper "Directed Graph Hashing"☆16Dec 29, 2025Updated last month
- Geometric Algebra using wxMaxima (GAwxM)☆13Oct 14, 2025Updated 4 months ago
- A curated list of awesome GitHub Blocks resources.☆19Nov 30, 2022Updated 3 years ago
- Making VSCode extensions ON-THE-FLY, without the ceremony of creating a new node project!☆15Feb 21, 2023Updated 2 years ago
- Old home page for Cirru Project☆18Oct 21, 2025Updated 3 months ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Aug 1, 2024Updated last year
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 6 years ago
- Static security for database-backed Haskell applications using Liquid Haskell☆18May 29, 2024Updated last year
- A tool for facilitating the redlining of documents with the GitHub uninitiated☆30Jan 18, 2023Updated 3 years ago
- Assorted s-expression utilities for Julia☆16Feb 29, 2024Updated last year
- A curated list of geometric algebra resources☆136Jan 2, 2026Updated last month
- A benchmark for Geometric Algebra libraries, library generators, and code optimizers.☆22Sep 22, 2021Updated 4 years ago
- Code samples for Lean 4☆76Oct 19, 2023Updated 2 years ago
- The source for the code at live.sympy.org☆118Aug 20, 2025Updated 5 months ago
- Geometric algebra library for Rust☆22Aug 18, 2018Updated 7 years ago
- Normalization-by-evaluation in miniKanren☆25Feb 26, 2023Updated 2 years ago
- Efficient calculation of Clifford circuits in Julia.☆46Jul 1, 2021Updated 4 years ago
- Symbolic Geometric Algebra/Calculus package for SymPy☆272May 30, 2025Updated 8 months ago
- Multivectors for geometric algebra☆25May 25, 2022Updated 3 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆28Aug 19, 2025Updated 5 months ago