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 this week
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated last month
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 10 years ago
• daly / PDFS
  ☆14Updated last year
• semigroups / Semigroups
  The GAP package Semigroups
  ☆24Updated this 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
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆45Updated this week
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• sagemath / pari-jupyter
  Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/
  ☆11Updated 5 months ago
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• coq-community / buchberger
  Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]
  ☆9Updated last year
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆34Updated 3 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• ocaml / ocaml-manual
  OBSOLETE, ARCHIVED mirror of the OCaml manual
  ☆15Updated last year
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 2 years ago
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 3 years ago
• 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 3 weeks ago
• JuliaIntervals / CRlibm.jl
  Correctly-rounded mathematical functions for Julia
  ☆8Updated 2 months ago
• mit-plv / rewriter
  Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting
  ☆22Updated 2 weeks ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated this week
• favonia / homotopy
  My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
  ☆26Updated 10 years ago
• iblech / scheme-theory-in-agda
  A formalization of synthetic algebraic geometry in Agda
  ☆13Updated 6 years ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆49Updated 2 months ago
• pygae / GAlgebra.jl
  Julia interface to GAlgebra via PyCall
  ☆15Updated this week
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• math-comp / real-closed
  Theorems for Real Closed Fields
  ☆13Updated this week
• mathics / IMathics
  Jupyter Kernel for Mathics
  ☆20Updated 8 years ago
• astrieanna / TypeCheck.jl
  A TypeChecker for Julia
  ☆69Updated 10 years ago