Discovery of UK-based domestic violence support services by web crawling

A native Python library for permutation pattern research

A repository for (mainly) permutation groups algorithms, with a focus on stabilizer chains and benchmarking

RAFCON (RMC advanced flow control) uses hierarchical state machines, featuring concurrent state execution, to represent robot programs. It ships with a graphical user interface supporting the creat…

A collection of Base and Strong Generating Set Implementations

COACHMAN: COmplexity Analyzer for Concurrent Heap-MANipulating programs

A verification tool for many memory models

Demos of proof checking

Sail architecture definition language

A high-performance Constraint Programming solver, created before the yellow things took the same name.

Conjure: The Automated Constraint Modelling Tool

A benchmark library for constraints

Source code for "Enumeration of idempotents in planar diagram monoids"

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

A Modern Probabilistic Model Checker

St Andrews Computer Science Checker

Tool to help GAP package authors with the process of making new releases of their packages

Zocial: CSS login and social buttons

A simple GAP script for creating a GAP package skeleton

Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra