Alternatives and similar repositories for homebrew-gap:

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

• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆12Updated 3 weeks ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 10 years ago
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated last month
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 6 years ago
• peeterjoot / physicsplay
  Latex source for geometric algebra and physics notes.
  ☆37Updated last month
• thautwarm / MLFS.jl
  MLFS type system: raising ML to the power of system F in a Simplest way
  ☆19Updated 4 years ago
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 3 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆42Updated 4 years ago
• daly / PDFS
  ☆14Updated last year
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆32Updated 6 years ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆58Updated 4 years ago
• FlorianAdler / AlgebraBonn
  Lecture Notes for Algebra Lectures at the University of Bonn
  ☆11Updated 4 months ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆45Updated this week
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆29Updated last year
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆49Updated last month
• coq-community / bignums
  Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…
  ☆22Updated last week
• pygae / GAlgebra.jl
  Julia interface to GAlgebra via PyCall
  ☆15Updated this week
• sagemath / cypari2
  Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/
  ☆30Updated last week
• coq-community / buchberger
  Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]
  ☆9Updated last year
• ArturasAcus / GeometricAlgebra
  Mathematica package for Clifford (geometric) algebra calculations
  ☆11Updated 7 months ago
• habemus-papadum / LilKanren.jl
  A collection of Kanren implementations in Julia
  ☆24Updated 8 years ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 4 years ago
• JuliaIntervals / CRlibm.jl
  Correctly-rounded mathematical functions for Julia
  ☆8Updated last month
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated 11 months ago
• mit-plv / rewriter
  Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting
  ☆22Updated this week
• dschepler / coq-topology
  Topology library for Coq
  ☆11Updated 9 years ago
• sagemath / more-sagemath-tutorials
  More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage
  ☆32Updated last year
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆55Updated last month
• chakravala / AbstractTensors.jl
  Tensor algebra abstract type interoperability setup
  ☆43Updated 2 months ago