Alternatives and similar repositories for ganim

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

• sudgy / math-from-nothing
  Developing mathematics in Coq from the ground up
  ☆23Updated 3 months ago
• SheafificationOfG / BoolosBrewery
  You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...
  ☆60Updated last month
• tBuLi / kingdon
  A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.
  ☆96Updated this week
• laffernandes / gatl
  GATL: Geometric Algebra Template Library
  ☆61Updated 3 years ago
• Lichtso / geometric_algebra
  Generate(d) custom libraries for geometric algebras
  ☆51Updated last year
• codereport / array-language-comparisons
  A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.
  ☆195Updated 8 months ago
• codereport / kjunior
  K Junior is an MIT licensed open source array language written by Arthur Whitney.
  ☆21Updated last year
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• HackerPoet / Beryl
  ☆69Updated 5 months ago
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆35Updated last year
• MurrayIII / UnicodeMathML
  JavaScript-based translation of UnicodeMath to MathML that can be integrated into arbitrary HTML or Markdeep documents. An interactive "p…
  ☆33Updated last week
• Omnikar / uiua-plot
  Data plotting library for the Uiua programming language
  ☆15Updated last month
• SheafificationOfG / Fibsonicci
  Source code for a video on computing Fibonacci numbers efficiently
  ☆137Updated 10 months ago
• CallForSanity / Gaalop
  Gaalop (Geometic Algebra Algorithms Optimizer) is a software to compile and optimize geometric algebra (GA) expressions into high-level p…
  ☆109Updated this week
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆100Updated 2 months ago
• konne88 / functorio
  ☆266Updated last week
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆26Updated last month
• Prograf-UFF / TbGAL
  TbGAL: Tensor-Based Geometric Algebra Library
  ☆27Updated 3 years ago
• codereport / jellyfish
  A fork of Jelly (recreational programming language inspired by J) that fixes bugs I have run into and extends the language.
  ☆15Updated last year
• regina-normal / regina
  The main source code for Regina
  ☆39Updated this week
• razetime / bqn-vscode
  BQN programming language vscode plugin (symbol input, syntax highlighting)
  ☆22Updated last year
• Omnikar / uiua-math
  Library of math functions for the Uiua programming language
  ☆31Updated last week
• ncatlab / nlab
  Source code for the nLab
  ☆187Updated 6 months ago
• pygae / galgebra
  Symbolic Geometric Algebra/Calculus package for SymPy
  ☆268Updated 4 months ago
• codereport / plgraph
  ☆19Updated last year
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆348Updated this week
• nunezco2 / quAPL
  Implementation of a quantum simulator using APL
  ☆18Updated 5 months ago
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆71Updated last month
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆48Updated last year