main
tangle
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
playground\public\index.html
 1 -
A
.github\copilot\coding-agent.yml
 1 -
A
proofs\check-tg3-differential.sh
 1 -
A
.github\FUNDING.yml
 1 -
A
.githooks\validate-k9.sh
 1 1
A
setup.sh
 1 -
A
.githooks\validate-a2ml.sh
 1 1
A
.github\dependabot.yml
 1 -
A
.github\funding.yml
 1 -
A
.claude\hooks\session-start.sh
 1 -
A
.github\workflows\dependabot-automerge.yml
 2 -
A
scripts\check-rsr-instantiation.sh
 2 -
A
proofs\bootstrap-lean.sh
 2 -
A
.github\workflows\instant-sync.yml
 2 -
A
.github\workflows\ocaml-ci.yml
 3 -
A
.github\workflows\pages.yml
 3 -
A
conformance\run_conformance.sh
 3 -
A
.gitlab-ci.yml
 3 -
A
.github\workflows\mirror.yml
 3 -
A
.github\workflows\secret-scanner.yml
 6 -