main
kitchenspeak
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
.machine_readable\scripts\forge\git-cleanup.sh
 1 -
A
.machine_readable\scripts\forge\forge-sync.sh
 1 -
A
features\ssg\ssg-bootstrap.sh
 1 -
A
.github\dependabot.yml
 1 -
A
container\.gatekeeper.yaml
 1 -
A
.machine_readable\scripts\lifecycle\install-tools.sh
 1 -
A
build\setup.sh
 1 -
A
scripts\check-no-md-in-docs.sh
 1 -
A
.github\settings.yml
 1 -
A
container\ct-build.sh
 1 -
A
.githooks\validate-k9.sh
 1 1
A
.githooks\validate-a2ml.sh
 1 1
A
.machine_readable\scripts\maintenance\maint-assault.sh
 1 4
A
.github\funding.yml
 1 -
A
benches\template_bench.sh
 1 -
A
scripts\invariant-path.sh
 1 -
A
scripts\check-root-shape.sh
 1 -
A
scripts\check-agda-trusted-base.sh
 1 -
A
container\entrypoint.sh
 1 -
A
.github\FUNDING.yml
 1 -