gaplint (pypi): A rudimentary linter for GAP (https://www.gap-system.org/) code.
Keywords: lint|lint-checking|linters|syntax-checker|syntax-checking