master
fiat-crypto
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
fiat-java\src\FiatP256.java
22 3 -
A
fiat-bedrock2\src\secp256k1_dettman_32.c
18 1 -
A
fiat-java\src\FiatP521.java
18 1 -
A
etc\compile-by-zinc\compile-to-zinc-only-registers.py
25 1 -
A
fiat-java\src\FiatSecp256K1Dettman.java
5 1 -
A
fiat-bedrock2\src\secp256k1_montgomery_64.c
44 1 -
A
fiat-java\src\FiatSecp256K1MontgomeryScalar.java
22 3 -
A
etc\ci\bump-fiat-rust-crate-version.sh
 1 -
A
inversion\c\inversion_test_template.c
8 1 -
A
fiat-c\src\curve25519_32.c
17 3 -
A
inversion\c\p224_32_test.c
0 1 -
A
inversion\c\p434_64_test.c
0 1 -
A
inversion\c\p384_32_test.c
0 1 -
A
.github\workflows\docker-coq.yml
 2 -
A
etc\ci\travis_keep_alive.sh
 1 -
A
fiat-bedrock2\src\poly1305_64.c
34 1 -
A
fiat-java\src\FiatP256Scalar.java
22 3 -
A
etc\ci\describe-system-config-macos.sh
 1 1
A
etc\compile-by-zinc\heuristic-search.py
72 1 1
A
etc\ci\describe-system-config.sh
 2 1