Alternatives and similar repositories for linear-algebra-done-right

Users that are interested in linear-algebra-done-right are comparing it to the libraries listed below

• chakravala / DirectSum.jl
  Tangent bundle, vector space and Submanifold definition
  ☆51Updated 2 months ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆56Updated last week
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• AlgebraicJulia / Decapodes.jl
  A framework for composing and simulating multiphysics systems
  ☆79Updated last week
• oscar-system / Singular.jl
  Julia package for the Singular library
  ☆35Updated this week
• wbhart / AbstractAlgebra.jl
  Generic abstract algebra functionality in pure Julia (no C dependencies)
  ☆55Updated 3 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆56Updated 2 years ago
• anicusan / MPISort.jl
  Optimised multi-node MPI sorting algorithms in Julia
  ☆10Updated last year
• ranocha / BSeries.jl
  Computing with B-series in Julia
  ☆30Updated last week
• ianjauslin-rutgers / pythagoras4
  Many proofs of the Pythagoras theorem - Lean 4
  ☆10Updated 2 years ago
• gradbench / gradbench
  Benchmarks for differentiable programming across languages and domains.
  ☆49Updated last week
• ATOMSLab / LeanChemicalTheories
  ☆37Updated last year
• HarrisonGrodin / Rewrite.jl
  An efficient symbolic term rewriting engine
  ☆78Updated 5 years ago
• Jollywatt / GeometricAlgebra.jl
  Yet another Julia package for working with geometric (or Clifford) algebras.
  ☆24Updated last month
• JuliaGraphs / GraphsMatching.jl
  Matching algorithms for Graphs.jl
  ☆20Updated 3 weeks ago
• pzinn / Macaulay2Web
  Macaulay2 web app with support for KaTeX and HTML output
  ☆20Updated last month
• JuliaSymbolics / TermInterface.jl
  Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert
  ☆41Updated last week
• Prograf-UFF / TbGAL
  TbGAL: Tensor-Based Geometric Algebra Library
  ☆28Updated 3 years ago
• TimSiebert1 / ADOLC.jl
  ☆13Updated last year
• kiranshila / juliafmt
  A formatter for Julia that doesn't need a Julia runtime
  ☆29Updated 3 years ago
• zenna / Z3.jl
  Julia wrapper for The Z3 Theorem Prover (SMT Solver)
  ☆24Updated 8 years ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆123Updated 3 years ago
• algebraic-solving / AlgebraicSolving.jl
  ☆32Updated last month
• digitaldomain / Multivectors.jl
  Multivectors for geometric algebra
  ☆25Updated 3 years ago
• TheCedarPrince / LuxCat.jl
  Using Luxor.jl to design common diagrams found in Category Theory 🐱
  ☆13Updated 3 years ago
• AlgebraicJulia / StockFlow.jl
  ☆76Updated 3 months ago
• AlgebraicJulia / DiagrammaticEquations.jl
  ☆16Updated last month
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆31Updated last year
• Herb-AI / Herb.jl
  A library for defining and efficiently solving program synthesis tasks in Julia.
  ☆35Updated last week
• oscar-system / GAP.jl
  GAP packages for Julia integration
  ☆81Updated this week