master
fiat-crypto
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
etc\machine.sh
 1 -
A
fiat-c\src\curve25519_64.c
15 3 -
A
etc\ratios.py
3 1 -
A
.github\workflows\coq-windows.yml
 2 -
A
etc\turboboost.sh
 1 -
A
.github\workflows\coq-debian.yml
 1 -
A
fiat-amd64\test.sh
 2 -
A
etc\ci\sudo-apt-get-update.sh
 1 -
A
fiat-bedrock2\src\curve25519_64.c
36 1 -
A
fiat-bedrock2\src\poly1305_64.c
34 1 -
A
fiat-bedrock2\src\curve25519_solinas_64.c
18 1 -
A
etc\ci\test-fiat-rust-crate-crypto-Ed448-Goldilocks.sh
 1 -
A
fiat-bedrock2\src\p256_64.c
44 1 -
A
fiat-bedrock2\src\p521_64.c
34 2 -
A
fiat-c\src\curve25519_scalar_64.c
20 3 -
A
fiat-c\src\curve25519_scalar_32.c
20 3 -
A
fiat-bedrock2\src\secp256k1_dettman_32.c
18 1 -
A
fiat-bedrock2\src\poly1305_32.c
34 1 -
A
.github\workflows\docker-coq.yml
 2 -
A
etc\ci\travis_keep_alive.sh
 1 -