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 month
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆14Updated last month
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆47Updated this week
• daly / PDFS
  ☆14Updated last year
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 11 years ago
• dschepler / coq-topology
  Topology library for Coq
  ☆12Updated 9 years ago
• Deducteam / SizeChangeTool
  A termination checker for higher-order rewriting with dependent types
  ☆10Updated 5 years ago
• gap-packages / JupyterKernel
  Native Jupyter kernel for GAP
  ☆19Updated 2 months ago
• iblech / scheme-theory-in-agda
  A formalization of synthetic algebraic geometry in Agda
  ☆14Updated 6 years ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 5 years ago
• ocaml / ocaml-manual
  OBSOLETE, ARCHIVED mirror of the OCaml manual
  ☆15Updated last year
• jdoughertyii / hott-species
  Combinatorial species in HoTT
  ☆12Updated 10 years ago
• semigroups / Semigroups
  The GAP package Semigroups
  ☆26Updated last month
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• favonia / homotopy
  My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
  ☆26Updated 10 years ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• chrisheunen / freetikz
  FreeTikZ
  ☆37Updated 7 years ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆29Updated last year
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 10 years ago
• opencompl / lean-gap
  An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4
  ☆15Updated 3 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
• math-comp / Coq-Combi
  Algebraic Combinatorics in Coq
  ☆38Updated 4 months ago
• sagemath / pari-jupyter
  Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/
  ☆11Updated 9 months ago
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆27Updated 4 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 7 years ago
• rljacobson / MathLine
  A textual front end to Mathematica.
  ☆12Updated 5 years ago