main
proven-tests-and-benches
Repository badge with APlus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
scripts\emit-aggregate-inputs.sh
 1 -
A
scripts\fix-lockfile-banners.sh
 1 -
A
scripts\check-escape-hatches.sh
 1 -
A
.github\workflows\mirror.yml
 1 -
A
scripts\check-toolchain-pins.sh
 1 -
A
.github\FUNDING.yml
 1 -
A
container\entrypoint.sh
 1 -
A
container\.gatekeeper.yaml
 1 -
A
container\ct-build.sh
 1 -
A
.github\workflows\governance.yml
 2 -
A
.github\workflows\scorecard.yml
 2 -
A
scripts\owned-compute-gate.sh
 2 -
A
.github\workflows\hypatia-scan.yml
 2 -
A
scripts\install-idris2.sh
 3 -
A
scripts\check-doc-facts.sh
 4 -
A
scripts\wire-zero-minute-gate.sh
 4 -
A
.gitlab-ci.yml
 4 -
A
.pre-commit-config.yaml
 4 -
A
benchmarks\run_benchmarks.sh
 4 -
A
.github\dependabot.yml
 5 -