main
echo-types
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
.claude\hooks\session-start.sh
 1 -
A
.github\copilot\coding-agent.yml
 1 -
A
.github\dependabot.yml
 1 -
A
.github\funding.yml
 1 -
A
.github\workflows\agda.yml
 9 -
A
.github\workflows\codeql.yml
 14 -
A
.github\workflows\governance.yml
 11 -
A
.github\workflows\hypatia-scan.yml
 15 -
A
.github\workflows\label-triage.yml
 2 -
A
.github\workflows\labels.yml
 2 -
A
.github\workflows\mirror.yml
 7 -
A
.github\workflows\pages.yml
 8 -
A
.github\workflows\push-email-notify.yml
 13 -
A
.github\workflows\scorecard.yml
 10 -
A
.github\workflows\secret-scanner.yml
 8 -
A
docs\echo-types\prototypes\warrant_debugger_prototype.jsx
22 1 1
A
scripts\check-no-unsafe.sh
 1 -
A
scripts\kernel-guard.sh
 1 -
A
scripts\provision-agda.sh
 1 -
A
scripts\verify.sh
 1 -