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
- A collection of formulas needed for everyday calculations in geometric algebra and calculus☆19Jun 24, 2017Updated 8 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆55Oct 25, 2023Updated 2 years ago
- Latex sources for http://peeterjoot.com/writing/geometric-algebra-for-electrical-engineers/☆18Oct 26, 2025Updated 4 months ago
- GluCat: Clifford algebra templates☆23Feb 16, 2026Updated 2 weeks 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
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- Typeset scattered graph data rewriter based on LaTeX nodes☆13Apr 7, 2021Updated 4 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆13Updated this week
- Tutorial for the CHR system☆16Feb 8, 2021Updated 5 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated 9 months ago
- Sage source code for the computation of graphs and proofs from "Adventures in Graph Theory" by David Joyner and Caroline Grant Melles☆14Nov 16, 2017Updated 8 years ago
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆25Feb 11, 2026Updated 3 weeks ago
- Type equality constraints☆16Apr 27, 2022Updated 3 years ago
- Explorations in relations and the algebra of programming☆17Oct 4, 2019Updated 6 years ago
- The Candle theorem prover (fork of the HOL Light sources)☆18Updated this week
- 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 9 months ago
- Python implementation of directed graph hashing, from the paper "Directed Graph Hashing"☆16Feb 25, 2026Updated last week
- A geometric algebra implementation in Haskell☆32Sep 7, 2020Updated 5 years ago
- Old home page for Cirru Project☆18Updated this week
- Geometric Algebra using wxMaxima (GAwxM)☆13Oct 14, 2025Updated 4 months ago
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 6 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Aug 1, 2024Updated last year
- Unums 2.0 for Julia☆13Feb 1, 2017Updated 9 years ago
- Making VSCode extensions ON-THE-FLY, without the ceremony of creating a new node project!☆15Feb 21, 2023Updated 3 years ago
- A tool for facilitating the redlining of documents with the GitHub uninitiated☆30Jan 18, 2023Updated 3 years ago
- TypeScript Geometric Algebra Generator☆19Feb 1, 2024Updated 2 years ago
- Static security for database-backed Haskell applications using Liquid Haskell☆18May 29, 2024Updated last year
- Jupyter Kernel for Xonsh☆22Jul 24, 2016Updated 9 years ago
- Assorted s-expression utilities for Julia☆16Feb 29, 2024Updated 2 years ago
- A curated list of geometric algebra resources☆136Jan 2, 2026Updated 2 months ago
- A benchmark for Geometric Algebra libraries, library generators, and code optimizers.☆22Sep 22, 2021Updated 4 years ago
- Clifford algebra for CAS Maxima☆17Aug 9, 2025Updated 6 months ago
- Code samples for Lean 4☆76Oct 19, 2023Updated 2 years ago
- Geometric algebra library for Rust☆22Aug 18, 2018Updated 7 years ago
- Transform git histories between tree-like and linear forms☆29May 23, 2020Updated 5 years ago