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

• ATOMSLab / LeanChemicalTheories
  ☆31Updated last year
• IPDSnelting / tba-2021
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
  ☆50Updated 3 years ago
• gradbench / gradbench
  Benchmarks for differentiable programming across languages and domains.
  ☆35Updated this week
• AlgebraicJulia / Decapodes.jl
  A framework for composing and simulating multiphysics systems
  ☆64Updated this week
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆30Updated last week
• diracdeltafunk / SmallCategories
  A database of small finite categories
  ☆14Updated last year
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• madvorak / lean4-cheatsheet
  Printable (A4) overview of tactics in Lean 4 for beginners
  ☆24Updated 7 months ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• chanind / mathlib-changelog
  ☆10Updated this week
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• leanprover / reservoir
  Package registry for Lean/Lake.
  ☆17Updated 3 months ago
• kentookura / forester.nvim
  Neovim plugin for forester
  ☆16Updated 5 months ago
• ImperialCollegeLondon / complex-number-game
  The Complex Number Game. Make the complex numbers in Lean.
  ☆36Updated 2 years ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆64Updated 3 years ago
• zhangir-azerbayev / lean-chat
  ☆49Updated 2 years ago
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆52Updated this week
• thosgood / translations
  some maths papers in English
  ☆18Updated 3 weeks ago
• isadofschi / combinatorial_nullstellensatz
  A Lean formal proof of the Combinatorial Nullstellensatz
  ☆11Updated 2 years ago
• HarrisonGrodin / Rewrite.jl
  An efficient symbolic term rewriting engine
  ☆77Updated 4 years ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆62Updated last year
• alexjbest / leaff
  Leaff is a diff tool for Lean environments
  ☆16Updated 3 months ago
• jasonrute / thoughts-on-ai-for-theorem-proving
  ☆27Updated 3 years ago
• leanprover-community / flt-regular
  Fermat's Last Theorem for regular primes
  ☆55Updated 2 weeks ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆67Updated 2 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆43Updated 3 years ago
• leanprover-community / lean4-samples
  Code samples for Lean 4
  ☆74Updated last year
• Roger-luo / ExproniconLite.jl
  no fancy pattern matching, no dependencies, lightweight Expronicon for low latency.
  ☆16Updated 3 months ago