Alternatives and similar repositories for ganim:

Users that are interested in ganim are comparing it to the libraries listed below

• tBuLi / kingdon
  A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.
  ☆67Updated 3 weeks ago
• Prograf-UFF / TbGAL
  TbGAL: Tensor-Based Geometric Algebra Library
  ☆27Updated 3 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 5 months ago
• sudgy / math-from-nothing
  Developing mathematics in Coq from the ground up
  ☆20Updated 8 months ago
• codereport / kjunior
  K Junior is an MIT licensed open source array language written by Arthur Whitney.
  ☆20Updated 10 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆32Updated 2 months ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆27Updated last month
• regina-normal / regina
  The main source code for Regina
  ☆38Updated this week
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated last month
• wrnrlr / g3
  Neat 3D math and graphics library
  ☆32Updated last year
• Lichtso / geometric_algebra
  Generate(d) custom libraries for geometric algebras
  ☆48Updated 11 months ago
• ATOMSLab / LeanChemicalTheories
  ☆31Updated last year
• chrisjldoran / SimpleGA
  A simple implementation of low-dimensional geometric algebras in Julia.
  ☆13Updated 2 years ago
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆26Updated 4 years ago
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆51Updated this week
• ArturasAcus / GeometricAlgebra
  Mathematica package for Clifford (geometric) algebra calculations
  ☆11Updated 3 weeks ago
• pygae / GAlgebra.jl
  Julia interface to GAlgebra via PyCall
  ☆17Updated this week
• ga / formulas
  A collection of formulas needed for everyday calculations in geometric algebra and calculus
  ☆18Updated 7 years ago
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆203Updated this week
• argumentcomputer / RustFFI.lean
  Template for Lean<->Rust FFI
  ☆12Updated last year
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆29Updated 4 months ago
• AlgebraicJulia / Decapodes.jl
  A framework for composing and simulating multiphysics systems
  ☆64Updated this week
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆22Updated this week
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆69Updated last week
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆76Updated last year
• WolframResearch / wolfram-library-link-rs
  Safe, efficient, and ergonomic bindings to Wolfram LibraryLink and the Wolfram Language
  ☆55Updated last year
• leanprover / lake
  **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
  ☆99Updated last year
• jlaragonvera / Geometric-Algebra
  Mathematica packages for geometric algebra
  ☆48Updated last year
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆27Updated 3 years ago