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
  ☆29Updated 5 years ago
• JuliaGL / GLWindow.jl
  Create a window with an OpenGL context
  ☆14Updated 5 years ago
• ga / awesome-geometric-algebra
  A curated list of geometric algebra resources
  ☆135Updated 5 years ago
• punkdit / huygens
  ☆11Updated 2 weeks ago
• shashi / APL.jl
  a pure julia APL implementation that gets mostly "compiled out"
  ☆66Updated 3 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated 2 years ago
• Limeth / hestenes
  Geometric algebra library for Rust
  ☆22Updated 7 years ago
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆101Updated last year
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆34Updated this week
• latticetower / MuKanren.jl
  minimal miniKanren implementation in Julia
  ☆23Updated 8 years ago
• pygae / GAlgebra.jl
  Julia interface to GAlgebra via PyCall
  ☆17Updated this week
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆66Updated 4 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆58Updated 5 years ago
• TotalVerb / SExpressions.jl
  Assorted s-expression utilities for Julia
  ☆16Updated last year
• swadey / LispREPL.jl
  REPL for LispSyntax.jl
  ☆20Updated 5 years ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆32Updated last month
• nilesjohnson / hopf_fibration
  Modifications of Niles Johnson's Hopf Fibration drawing code
  ☆38Updated 11 years ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆37Updated last month
• soegaard / bracket
  A computer algebra system (CAS) for high school students
  ☆14Updated 6 years ago
• jwmerrill / Pnums.jl
  Unums 2.0 for Julia
  ☆13Updated 8 years ago
• JunoLab / Hiccup.jl
  HTML DSL AFAICT
  ☆15Updated 2 years ago
• coulbois / sage-train-track
  Free group automorphisms and train-track representative in python/sage
  ☆12Updated 2 months ago
• paralab / Finch
  ☆14Updated 3 months ago
• habemus-papadum / LilKanren.jl
  A collection of Kanren implementations in Julia
  ☆24Updated last month
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated 2 months ago
• zenna / Z3.jl
  Julia wrapper for The Z3 Theorem Prover (SMT Solver)
  ☆24Updated 8 years ago
• herbie-fp / rival
  Interval arithmetic for real computation
  ☆24Updated 3 weeks ago
• ulysses4ever / Monads.jl
  Monadic expressions and sequences for Julia
  ☆32Updated last year