semigroups / Semigroups Star 29 Code Issues Pull requests Discussions The GAP package Semigroups enumeration gap monoids orb semigroups greens-relations congruences maximal-subsemigroups finitely-presented-semigroups digraphs Updated Sep 3, 2026 GAP
libsemigroups / libsemigroups_pybind11 Star 11 Code Issues Pull requests Discussions Python bindings for the libsemigroups C++ library for semigroups and monoids python algebra monoids semigroups Updated Aug 31, 2026 C++
vporton / atgt Sponsor Star 2 Code Issues Pull requests Discussions Formalizing Algebraic Theory of General Topology in Lean lean formal-verification formal-mathematics semigroups general-topology integral-calculus lean4 formalized-mathematics semicategories Updated Aug 29, 2026 Lean
chakravala / AbstractAnalysis.jl Sponsor Star 2 Code Issues Pull requests Countable magma and semigroup for abstract functional analysis algebra computer-algebra julia category-theory monoid mathematical-analysis semigroup dynamical-systems fixed-point monoids category group-theory abstract-algebra numerical-analysis function-composition magma functional-analysis fixed-point-iteration semigroups compositionality Updated Jul 30, 2026 Julia
vvulpes0 / finite-semigroups Star 0 Code Issues Pull requests operations and classification for finite semigroups algebra classification semigroups Updated Feb 12, 2026 Haskell
moosch / fp-maths-semigroups Star 0 Code Issues Pull requests Category Theory Semigroups in JavaScript category-theory semigroups Updated Nov 3, 2019 JavaScript