Alternatives and similar repositories for homebrew-gap

Users that are interested in homebrew-gap are comparing it to the libraries listed below

• b-mehta / combinatorics
  ☆23Updated 3 years ago
• daly / PDFS
  ☆14Updated 2 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆15Updated last month
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆30Updated last month
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆30Updated last year
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 11 years ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 5 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• iblech / scheme-theory-in-agda
  A formalization of synthetic algebraic geometry in Agda
  ☆14Updated 6 years ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆92Updated 9 months ago
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 7 years ago
• WolframResearch / wolfram-app-discovery-rs
  Locate local installations of the Wolfram Language.
  ☆16Updated 4 months ago
• djvelleman / HTPILeanPackage
  ☆31Updated 2 weeks ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆52Updated 2 months ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆47Updated this week
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆51Updated last year
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆58Updated this week
• pygae / GAlgebra.jl
  Julia interface to GAlgebra via PyCall
  ☆17Updated this week
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated 2 months ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆64Updated 3 years ago
• ArturasAcus / GeometricAlgebra
  Mathematica package for Clifford (geometric) algebra calculations
  ☆12Updated 3 months ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• leanprover / presentations
  lean-related presentations
  ☆16Updated last year
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 7 months ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• HoTT / Archive
  Archived materials related to Homotopy Type Theory.
  ☆11Updated 13 years ago