Alternatives and similar repositories for homebrew-gap

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

• semigroups / Semigroups
  The GAP package Semigroups
  ☆26Updated this week
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆47Updated last week
• 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
• WolframResearch / wolfram-app-discovery-rs
  Locate local installations of the Wolfram Language.
  ☆16Updated 4 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆15Updated 2 months ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 11 years ago
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated 2 weeks ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 11 years ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• sagemath / pari-jupyter
  Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/
  ☆11Updated 10 months ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆20Updated last month
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆49Updated last week
• daly / PDFS
  ☆14Updated 2 years ago
• ocaml / ocaml-manual
  OBSOLETE, ARCHIVED mirror of the OCaml manual
  ☆16Updated last year
• 3-manifolds / Spherogram
  Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…
  ☆22Updated last week
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 9 years ago
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 7 years ago
• sagemath / sagetex
  Embed code, results of computations, and plots from the Sage mathematics software suite (https://www.sagemath.org) into LaTeX documents. …
  ☆67Updated 2 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆75Updated 11 months ago
• HoTT / coq
  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theor…
  ☆27Updated last year
• williamstein / rh
  Riemann Hypothesis book
  ☆75Updated 7 years ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• WolframResearch / AWSLambda-WolframLanguage
  Wolfram Language container image runtime for AWS Lambda
  ☆28Updated 3 years ago
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated 8 months ago
• arnoudbuzing / prototypes
  miscellaneous wolfram language functions
  ☆30Updated 4 years ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated last week
• 4ti2 / 4ti2
  A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…
  ☆39Updated last month