main
echidna
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
.clusterfuzzlite\Dockerfile
 3 -
A
.clusterfuzzlite\build.sh
 2 -
A
.clusterfuzzlite\project.yaml
 2 -
A
.conflow.yaml
 1 -
A
.containerization\build.sh
 2 -
A
.github\FUNDING.yml
 2 -
A
.github\canonical-references\prover-counts.yml
 3 -
A
.github\copilot\coding-agent.yml
 1 -
A
.github\dependabot.yml
 2 -
A
.github\funding.yml
 1 -
A
.github\hooks\pre-commit
 1 -
A
.github\hooks\validate-a2ml.sh
 1 1
A
.github\hooks\validate-k9.sh
 1 1
A
.github\settings.yml
 3 -
A
.github\workflows\agda-meta-checker.yml
 11 -
A
.github\workflows\boj-build.yml
 8 -
A
.github\workflows\bridge-gate.yml
 9 -
A
.github\workflows\cargo-audit.yml
 8 1
A
.github\workflows\cflite_batch.yml
 7 -
A
.github\workflows\cflite_pr.yml
 7 -