sudgy / ganim

Related projects ⓘ

Alternatives and complementary repositories for ganim

• sudgy / math-from-nothing
  Developing mathematics in Coq from the ground up
  ☆18Updated 3 months ago
• Prograf-UFF / TbGAL
  TbGAL: Tensor-Based Geometric Algebra Library
  ☆27Updated 2 years ago
• Lichtso / geometric_algebra
  Generate(d) custom libraries for geometric algebras
  ☆46Updated 6 months ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆50Updated last year
• tBuLi / kingdon
  A symbolically optimized and pythonic Clifford (geometric) algebra library named after none other than William Kingdon Clifford.
  ☆45Updated last week
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆29Updated this week
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆27Updated 3 weeks ago
• ATOMSLab / LeanChemicalTheories
  ☆27Updated 8 months ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 2 weeks ago
• regina-normal / regina
  The main source code for Regina
  ☆33Updated this week
• wrnrlr / g3
  Neat 3D math and graphics library
  ☆32Updated last year
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆112Updated last week
• penguian / glucat
  GluCat: Clifford algebra templates
  ☆19Updated 3 months ago
• codereport / kjunior
  K Junior is an MIT licensed open source array language written by Arthur Whitney.
  ☆20Updated 5 months ago
• bollu / lean-to
  Jupyter notebook for the Lean4 programming language
  ☆24Updated 2 years ago
• NUS-Math-Formalization / coxeter
  ☆12Updated 4 months ago
• ArturasAcus / GeometricAlgebra
  Mathematica package for Clifford (geometric) algebra calculations
  ☆11Updated 5 months ago
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆23Updated 4 years ago
• Anon52MI4 / oeis-alien
  ☆19Updated last year
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆84Updated this week
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆79Updated last year
• pygae / GAlgebra.jl
  Julia interface to GAlgebra via PyCall
  ☆14Updated this week
• dyaso / klein-ported-to-rust
  Port of Jeremy Ong's SIMD-enabled projective geometric algebra library
  ☆16Updated 4 years ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆27Updated last week
• b-mehta / unit-fractions
  ☆14Updated 11 months ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆33Updated 10 months ago
• leanprover / lake
  **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
  ☆97Updated last year
• agentultra / lean-4-hackers
  ☆17Updated 2 years ago
• madvorak / read-lean
  How to read Lean
  ☆16Updated 3 weeks ago
• laffernandes / gatl
  GATL: Geometric Algebra Template Library
  ☆56Updated 2 years ago