Reinis Cirpons's homepage

Software

See also: reiniscirpons on GitHub.

Author

Database of 1-relation monoid word problem decidability proofs

doi: 10.5281/zenodo.17726030

A database of certificates of decidability of the word problem for a large portion of 2-generated 1-relation monoids with relations of length at most 10, as well as tools for converting it to Rocq proofs of decidability.

freebandlib

GitHub: reiniscirpons/freebandlib

doi: 10.5281/zenodo.7071675

A python library providing reference implementations of novel polynomial time algorithms for computing with free bands.

tree-sitter-gaptst

GitHub: gap-system/tree-sitter-gaptst

A tree-sitter grammar for GAP-system test files.

Maintainer

tree-sitter-gap

GitHub: gap-system/tree-sitter-gap

A tree-sitter grammar for GAP-system files.

Contributor

libsemigroups

GitHub: libsemigroups/libsemigroups

doi: 10.5281/zenodo.1437752

A C++ library for computing with finite and finitely presented semigroups.

Semigroups

GitHub: semigroups/Semigroups

doi: 10.5281/zenodo.592893

A GAP package implementing various algorithms for semigroups.

Digraphs

GitHub: digraphs/Digraphs

doi: 10.5281/zenodo.596465

A GAP package implementing various algorithms for directed graphs.