main
JuliaPackageSpitter.jl
Repository badge with APlus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
.github\workflows\release.yml
 3 -
A
.github\workflows\scorecard.yml
 8 -
A
.github\workflows\secret-scanner.yml
 6 -
A
.github\workflows\security_audit.yml
 5 -
A
.github\workflows\test-security.yml
 5 -
A
.gitlab-ci.yml
 2 -
A
scripts\check-agda-trusted-base.sh
 1 -
A
scripts\gen-identifier-charset.sh
 1 -
A
scripts\gen-identity-agda.sh
 1 -
A
scripts\proof-gate.sh
 1 -
A
setup.sh
 2 -
A
tests\check-identity-fixtures.sh
 1 -
A
tests\check-identity.sh
 1 -
A
tests\check-proofs.sh
 1 -
A
tests\check-rejections.sh
 1 -
A
tests\check-trusted-base-fixtures.sh
 1 -
A
www\public\index.html
 1 -