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
  ☆24Updated last month
• SheafificationOfG / BoolosBrewery
  You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...
  ☆67Updated 2 weeks ago
• laffernandes / gatl
  GATL: Geometric Algebra Template Library
  ☆63Updated 3 years ago
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆366Updated this week
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆301Updated this week
• codereport / array-language-comparisons
  A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.
  ☆211Updated 11 months ago
• tBuLi / kingdon
  A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.
  ☆97Updated 3 weeks ago
• codereport / jellyfish
  A fork of Jelly (recreational programming language inspired by J) that fixes bugs I have run into and extends the language.
  ☆16Updated last year
• Lichtso / geometric_algebra
  Generate(d) custom libraries for geometric algebras
  ☆54Updated last year
• MathBases / MathBases
  ☆27Updated 2 months ago
• codereport / jello
  A Python script for wrapping Jellyfish (a fork of Jelly) so you can more easily play with the language.
  ☆62Updated last year
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆56Updated last week
• HackerPoet / Beryl
  ☆70Updated 8 months ago
• WolframResearch / codeparser
  Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)
  ☆144Updated last year
• codereport / hoogle-translate
  ☆115Updated this week
• nunezco2 / quAPL
  Implementation of a quantum simulator using APL
  ☆18Updated 8 months ago
• jgm / typst-hs
  Haskell library for parsing and evaluating typst
  ☆68Updated 3 weeks ago
• regina-normal / regina
  The main source code for Regina
  ☆39Updated this week
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆113Updated this week
• CallForSanity / Gaalop
  Gaalop (Geometic Algebra Algorithms Optimizer) is a software to compile and optimize geometric algebra (GA) expressions into high-level p…
  ☆115Updated 3 months ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆164Updated 5 months ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆54Updated last year
• ncatlab / nlab
  Source code for the nLab
  ☆199Updated 9 months ago
• morpho-matters / morpholib
  A general-purpose programmatic animation tool
  ☆240Updated last week
• leanprover-community / NNG4
  Natural Number Game
  ☆273Updated 2 weeks ago
• MurrayIII / UnicodeMathML
  JavaScript-based translation of UnicodeMath to MathML 4.0. The facility supports dictation, speech, Nemeth braille, and LaTeX. The intera…
  ☆34Updated last week
• jlaragonvera / Geometric-Algebra
  Mathematica packages for geometric algebra
  ☆49Updated 7 months ago
• Omnikar / uiua-math
  Library of math functions for the Uiua programming language
  ☆31Updated last month
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆56Updated 2 years ago
• Foadsf / Awesome-FLOSS-CAS
  A curated list of outstanding Free, Libre, and Open Source Software (FLOSS) Computer Algebra Systems (CAS) for mathematicians, educators,…
  ☆30Updated last year