main
gnpl
Repository badge with APlus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
.github\dependabot.yml
 1 -
A
.github\funding.yml
 1 -
A
scripts\bootstrap_all.sh
 1 -
A
scripts\build-container.sh
 1 -
A
scripts\check-lean-proofs.sh
 1 -
A
scripts\dev-container.sh
 1 -
A
scripts\generate-diagrams.sh
 1 -
A
scripts\rebrand-to-gql.sh
 1 -
A
svalinn-compose.yaml
 1 -
A
.github\workflows\casket-pages.yml
 2 -
A
.github\workflows\codeql.yml
 2 -
A
.github\workflows\push-email-notify.yml
 2 -
A
.github\workflows\secret-scanner.yml
 2 -
A
selur-compose.yml
 2 -
A
vscode-extension\package.json
 2 -
A
.github\workflows\governance.yml
 3 -
A
.github\workflows\hypatia-scan.yml
 3 -
A
.github\workflows\lean-build.yml
 3 -
A
.github\workflows\scorecard.yml
 4 -