Lecturer at the School of Computer Science/University of St Andrews. Research includes graphs, groups, permutations patterns & formal verification
Highlights
- Pro
-
GapWWW Public
Forked from gap-system/GapWWWSource for the GAP website
JavaScript Other UpdatedApr 17, 2025 -
csplib Public
Forked from csplib/csplibA benchmark library for constraints
Prolog UpdatedJun 11, 2024 -
-
automata Public
Forked from gap-packages/automataA GAP package on automata
GAP Other UpdatedOct 19, 2022 -
gap Public
Forked from gap-system/gapMain development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
GAP GNU General Public License v2.0 UpdatedFeb 24, 2021 -
-