Alternatives and similar repositories for Semigroups:

Users that are interested in Semigroups are comparing it to the libraries listed below

• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆45Updated this week
• digraphs / Digraphs
  The GAP package Digraphs
  ☆39Updated last week
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆25Updated last week
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆55Updated 2 weeks ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆50Updated 2 weeks ago
• math-comp / Coq-Combi
  Algebraic Combinatorics in Coq
  ☆38Updated last month
• gap-packages / qpa
  GAP package for quivers and path algebras
  ☆31Updated last month
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated 2 months ago
• gap-system / homebrew-gap
  Homebrew tap for GAP
  ☆14Updated 9 months ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 5 years ago
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated 2 weeks ago
• byorgey / species
  ☆17Updated last year
• peterlefanulumsdaine / general-type-theories
  A (formalised) general definition of type theories
  ☆57Updated 3 years ago
• jdoughertyii / hott-species
  Combinatorial species in HoTT
  ☆12Updated 9 years ago
• iblech / scheme-theory-in-agda
  A formalization of synthetic algebraic geometry in Agda
  ☆14Updated 6 years ago
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆49Updated last year
• TheoWinterhalter / phd-thesis
  Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.
  ☆34Updated 4 years ago
• forked-from-1kasper / ground_zero
  Ground Zero: Lean 4 HoTT Library
  ☆54Updated 3 months ago
• gap-packages / JupyterKernel
  Native Jupyter kernel for GAP
  ☆19Updated this week
• cmu-phil / Spectral
  ☆46Updated last year
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• wellposed / hblas
  haskell bindings for blas and lapack
  ☆49Updated 7 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 6 years ago
• b-mehta / topos
  Topos theory in lean
  ☆58Updated 4 years ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• gebner / hott3
  HoTT in Lean 3
  ☆78Updated 4 years ago
• anderslundstedt / pca-realizability
  Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.
  ☆13Updated 7 years ago
• olexandr-konovalov / gnu
  Crowdsourcing project for the database of numbers of isomorphism types of finite groups
  ☆11Updated last year
• peterlefanulumsdaine / cartmell-thesis
  HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”
  ☆15Updated last year