Alternatives and similar repositories for formulas:

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

• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆27Updated 4 years ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆31Updated 4 years ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆27Updated last month
• andrioni / GeoAlg.jl
  A basic geometric algebra library in Julia
  ☆12Updated 8 years ago
• pygae / GAlgebra.jl
  Julia interface to GAlgebra via PyCall
  ☆17Updated this week
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• andreypopp / BQN.jl
  BQN implementation in Julia
  ☆18Updated 3 years ago
• chakravala / Ganja.jl
  Interface for the ganja.js library in Julia
  ☆10Updated 2 years ago
• digitaldomain / Multivectors.jl
  Multivectors for geometric algebra
  ☆24Updated 2 years ago
• penguian / glucat
  GluCat: Clifford algebra templates
  ☆20Updated last month
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• coulbois / sage-train-track
  Free group automorphisms and train-track representative in python/sage
  ☆10Updated 8 months ago
• chakravala / Dendriform.jl
  Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees
  ☆16Updated 5 years ago
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆98Updated last year
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• JuliaIntervals / CRlibm.jl
  Correctly-rounded mathematical functions
  ☆8Updated 2 months ago
• habemus-papadum / LilKanren.jl
  A collection of Kanren implementations in Julia
  ☆24Updated 8 years ago
• NoahStoryM / ctp
  Category Theory in Programming
  ☆12Updated 3 weeks ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated last year
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last month
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• TotalVerb / SExpressions.jl
  Assorted s-expression utilities for Julia
  ☆16Updated last year
• chakravala / VerTeX.jl
  Typeset scattered graph data rewriter based on LaTeX nodes
  ☆13Updated 4 years ago
• Limeth / hestenes
  Geometric algebra library for Rust
  ☆22Updated 6 years ago
• peeterjoot / GAelectrodynamics
  Latex sources for http://peeterjoot.com/writing/geometric-algebra-for-electrical-engineers/
  ☆15Updated 2 weeks ago
• AlgebraicJulia / ACSets.jl
  ACSets: Algebraic databases as in-memory data structures
  ☆23Updated last week
• chakravala / DirectSum.jl
  Tangent bundle, vector space and Submanifold definition
  ☆50Updated last month
• ga / awesome-geometric-algebra
  A curated list of geometric algebra resources
  ☆134Updated 4 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated 4 months ago