main
proven-tests-and-benches
Repository badge with APlus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
.github\workflows\ci.yml
 13 -
A
.github\workflows\codeql.yml
 9 -
A
.github\workflows\push-email-notify.yml
 7 -
A
.github\dependabot.yml
 5 -
A
scripts\ci-build.sh
 5 -
A
.github\workflows\secret-scanner.yml
 5 -
A
scripts\check-doc-facts.sh
 4 -
A
.gitlab-ci.yml
 4 -
A
scripts\wire-zero-minute-gate.sh
 4 -
A
.pre-commit-config.yaml
 4 -
A
benchmarks\run_benchmarks.sh
 4 -
A
scripts\install-idris2.sh
 3 -
A
.github\workflows\scorecard.yml
 2 -
A
scripts\owned-compute-gate.sh
 2 -
A
.github\workflows\governance.yml
 2 -
A
.github\workflows\hypatia-scan.yml
 2 -
A
container\entrypoint.sh
 1 -
A
scripts\check-escape-hatches.sh
 1 -
A
scripts\check-toolchain-pins.sh
 1 -
A
.github\FUNDING.yml
 1 -