Geometric algebra library for Rust
โ22Aug 18, 2018Updated 8 years ago
Alternatives and similar repositories for hestenes
Users that are interested in hestenes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Julia interface to GAlgebra via PyCall ๐ฎโ17Updated this week
- Port of Jeremy Ong's SIMD-enabled projective geometric algebra libraryโ16Oct 23, 2020Updated 6 years ago
- TbGAL: Tensor-Based Geometric Algebra Libraryโ29Apr 10, 2022Updated 4 years ago
- Experiments with moebius transformations and non-euclidian perspectives.โ12Apr 16, 2023Updated 3 years ago
- A benchmark for Geometric Algebra libraries, library generators, and code optimizers.โ23Sep 22, 2021Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI โข AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Differential forms in Juliaโ15Mar 16, 2024Updated 2 years ago
- Multivectors for geometric algebraโ25May 25, 2022Updated 4 years ago
- Mathematica package for Clifford (geometric) algebra calculationsโ15Jun 16, 2026Updated 4 months ago
- Visualisation library for geometric algebra with cefpython and ganja.jsโ54Jun 9, 2021Updated 5 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.โ59Oct 25, 2023Updated 3 years ago
- A class library for using conformal geometric algebra in C#โ17Mar 28, 2021Updated 5 years ago
- Clifford algebra for CAS Maximaโ17Aug 24, 2026Updated 2 months ago
- Tangent bundle, vector space and Submanifold definitionโ50Jan 12, 2026Updated 9 months ago
- GATL: Geometric Algebra Template Libraryโ66May 13, 2022Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits โข AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Physical unit systems (Metric, English, Natural, Planck, etc...)โ20Sep 24, 2025Updated last year
- Typed ฮป-calculus in Rustโ31Jun 27, 2023Updated 3 years ago
- algebraic typechecking and elaboration of type systemsโ13Jan 25, 2025Updated last year
- Dual Number library for Rustโ17Apr 29, 2021Updated 5 years ago
- โ12Feb 11, 2019Updated 7 years ago
- Neat 3D math and graphics libraryโ38May 11, 2023Updated 3 years ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)โ56Jun 23, 2022Updated 4 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.โ15Jun 1, 2020Updated 6 years ago
- The Julia wrapper of libsixelโ45Oct 3, 2026Updated 3 weeks ago
- GPUs on demand by Runpod - Special Offer Available โข AdRun AI, ML, and HPC workloads on powerful cloud GPUsโwithout limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- โ16Feb 18, 2025Updated last year
- Yet another Julia package for working with geometric (or Clifford) algebras.โ27Jul 23, 2026Updated 3 months ago
- Survey on materials that touch on the history of Lambda Calculusโ12Sep 13, 2020Updated 6 years ago
- Geometric algebra attention mechanism for tensorflow, keras, pytorch, and jaxโ22Jan 24, 2024Updated 2 years ago
- Tensor algebra abstract type interoperability setupโ43Sep 3, 2025Updated last year
- Code and Materials for an interactive online course on Logic (part of Strathclyde's CS208 Logic and Algorithms module)โ14Updated this week
- Experimenting on ornamentation in Agda via reflection.โ12Jul 1, 2023Updated 3 years ago
- The Delphin Projectโ10Aug 19, 2016Updated 10 years ago
- Implementation of dependent type theory in SWI-Prologโ10Oct 6, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean โข AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- โ14Aug 5, 2026Updated 2 months ago
- A Racket optics library including a match-like DSL for immutable updatesโ12Oct 6, 2025Updated last year
- Morte IDEโ29Apr 3, 2025Updated last year
- Course materials for a Prolog courseโ13Apr 18, 2016Updated 10 years ago
- Prettyprinting transformers for rainbow parens, precedence, etc.โ16Feb 27, 2022Updated 4 years ago
- My Agda/Mikan stuffโ13Oct 23, 2026Updated last week
- A work-in-progress structure editor for the cooltt proof assistant.โ18Jul 28, 2022Updated 4 years ago