master
fiat-crypto
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
etc\ci\bump-fiat-rust-crate-version.sh
 1 -
A
fiat-c\src\curve25519_32.c
17 3 -
A
etc\compile-by-zinc\compile-to-zinc.py
19 1 -
A
fiat-c\src\curve25519_scalar_32.c
20 3 -
A
fiat-c\src\p521_64.c
16 4 -
A
fiat-c\src\curve25519_solinas_64.c
7 3 -
A
.github\dependabot.yml
 1 -
A
fiat-c\src\p224_64.c
20 3 -
A
fiat-c\src\p448_solinas_64.c
14 3 -
A
fiat-c\src\p256_64.c
20 3 -
A
etc\ci\github-actions-display-per-line-timing.sh
 1 -
A
fiat-c\src\p256_scalar_64.c
20 3 -
A
fiat-c\src\poly1305_32.c
14 3 -
A
fiat-c\src\secp256k1_dettman_64.c
2 4 -
A
fiat-c\src\secp256k1_dettman_32.c
2 1 -
A
fiat-c\src\p448_solinas_32.c
14 3 -
A
fiat-c\src\p384_scalar_64.c
20 3 -
A
.github\workflows\docker-coq.yml
 2 -
A
etc\ci\travis_keep_alive.sh
 1 -
A
fiat-bedrock2\src\poly1305_64.c
34 1 -