main
JuliaPackageSpitter.jl
Repository badge with APlus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
tests\check-identity-fixtures.sh
 1 -
A
scripts\gen-identifier-charset.sh
 1 -
A
.github\workflows\proof-gates.yml
 1 -
A
scripts\proof-gate.sh
 1 -
A
scripts\check-agda-trusted-base.sh
 1 -
A
www\public\index.html
 1 -
A
tests\check-proofs.sh
 1 -
A
tests\check-identity.sh
 1 -
A
.github\funding.yml
 1 -
A
tests\check-trusted-base-fixtures.sh
 1 -
A
tests\check-rejections.sh
 1 -
A
scripts\gen-identity-agda.sh
 1 -
A
.github\workflows\label-triage.yml
 2 -
A
.github\workflows\labels.yml
 2 -
A
setup.sh
 2 -
A
.github\FUNDING.yml
 2 -
A
.gitlab-ci.yml
 2 -
A
.github\workflows\boj-build.yml
 3 -
A
.github\workflows\dependabot-automerge.yml
 3 -
A
.github\workflows\release.yml
 3 -