The Semgrep rule registry on our website is just a frontend for the semgrep/semgrep-rules  GitHub repository.