Alternatives and similar repositories for homebrew-gap:

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

• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated last week
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 10 years ago
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 3 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated 3 months ago
• semigroups / Semigroups
  The GAP package Semigroups
  ☆24Updated this week
• rocq-community / bignums
  Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…
  ☆22Updated 2 months ago
• ocaml / ocaml-manual
  OBSOLETE, ARCHIVED mirror of the OCaml manual
  ☆15Updated last year
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 5 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• math-comp / Coq-Combi
  Algebraic Combinatorics in Coq
  ☆38Updated 2 months ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆54Updated 10 years ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆46Updated last week
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 6 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
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• iblech / scheme-theory-in-agda
  A formalization of synthetic algebraic geometry in Agda
  ☆14Updated 6 years ago
• rocq-community / buchberger
  Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]
  ☆10Updated last year
• andrewray / iocamljs
  An OCaml javascript kernel for the IPython notebook
  ☆58Updated 7 years ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆50Updated 2 weeks ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆59Updated 5 months ago
• rocq-community / bits
  A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…
  ☆23Updated 2 months ago
• gap-packages / JupyterKernel
  Native Jupyter kernel for GAP
  ☆19Updated last month
• leanprover / lean3-mode
  Emacs mode for Lean
  ☆70Updated last year
• jdoughertyii / hott-species
  Combinatorial species in HoTT
  ☆12Updated 9 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• dschepler / coq-topology
  Topology library for Coq
  ☆12Updated 9 years ago
• rocq-community / apery
  A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]
  ☆23Updated 3 weeks ago