sudgy / ganim

Related projects ⓘ

Alternatives and complementary repositories for ganim

• Prograf-UFF / TbGAL
  TbGAL: Tensor-Based Geometric Algebra Library
  ☆27Updated 2 years ago
• sudgy / math-from-nothing
  Developing mathematics in Coq from the ground up
  ☆18Updated 2 months ago
• tBuLi / kingdon
  A symbolically optimized and pythonic Clifford (geometric) algebra library named after none other than William Kingdon Clifford.
  ☆45Updated 2 weeks ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆24Updated 2 weeks ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆50Updated last year
• Lichtso / geometric_algebra
  Generate(d) custom libraries for geometric algebras
  ☆46Updated 5 months ago
• pygae / GAlgebra.jl
  Julia interface to GAlgebra via PyCall
  ☆14Updated this week
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆34Updated 7 months ago
• codereport / kjunior
  K Junior is an MIT licensed open source array language written by Arthur Whitney.
  ☆20Updated 5 months ago
• ConnorGray / Vilfram
  Vi-like editing for Wolfram Notebooks
  ☆11Updated last year
• Jollywatt / GeometricAlgebra.jl
  Yet another Julia package for working with geometric (or Clifford) algebras.
  ☆22Updated 2 months ago
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆27Updated this week
• ArturasAcus / GeometricAlgebra
  Mathematica package for Clifford (geometric) algebra calculations
  ☆11Updated 4 months ago
• wrnrlr / g3
  Neat 3D math and graphics library
  ☆32Updated last year
• mwalczyk / pga-axioms
  Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.
  ☆11Updated 3 years ago
• penguian / glucat
  GluCat: Clifford algebra templates
  ☆19Updated 2 months ago
• ga / formulas
  A collection of formulas needed for everyday calculations in geometric algebra and calculus
  ☆16Updated 7 years ago
• konn / smooth
  Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras
  ☆17Updated 3 years ago
• ATOMSLab / LeanChemicalTheories
  ☆27Updated 8 months ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆24Updated this week
• dyaso / klein-ported-to-rust
  Port of Jeremy Ong's SIMD-enabled projective geometric algebra library
  ☆16Updated 4 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated this week
• Limeth / hestenes
  Geometric algebra library for Rust
  ☆21Updated 6 years ago
• andreypopp / BQN.jl
  BQN implementation in Julia
  ☆17Updated 2 years ago
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆19Updated 10 months ago
• chakravala / Ganja.jl
  Interface for the ganja.js library in Julia
  ☆10Updated last year
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆38Updated 2 weeks ago
• SpectralSequences / sseq
  The root repository for the SpectralSequences project.
  ☆25Updated last week
• bollu / lean-to
  Jupyter notebook for the Lean4 programming language
  ☆24Updated 2 years ago