- git-remote-hg 44 Transparent bidirectional bridge between Git and Mercurial for Git
- ssh-comparison 7 Comparison of various SSH implementations in terms of supported crypto protocols
- bbedit-addons 4 Various simple BBEdit addons
- PackageMaker 3 A simple GAP script for creating a GAP package skeleton
- ReleaseTools 3
Repositories contributed to
- gap-system/gap 72 Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
- gap-packages/AutoDoc 5 A GAP Package to produce documentations.
- gap-packages/NormalizInterface 3 A package for using normaliz from within GAP
- sui77/rc-switch 249 Arduino lib to operate 433/315Mhz devices like power outlet sockets.
- gap-packages/recog 5 The GAP package recog to collect methods for constructive recognition