master
fiat-crypto
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
.github\workflows\java.yml
 8 -
A
.github\workflows\c.yml
 5 -
A
fiat-go\64\secp256k1dettman\secp256k1dettman.go
2 4 -
A
fiat-bedrock2\src\secp256k1_dettman_64.c
18 4 -
A
fiat-go\64\p521\p521.go
18 4 -
A
fiat-c\src\secp256k1_dettman_64.c
2 4 -
A
fiat-c\src\p521_64.c
16 4 -
A
etc\ci\test-fiat-c-boringssl.sh
 4 -
A
fiat-c\src\p256_32.c
20 3 -
A
fiat-amd64\gentest.py
10 3 3
A
.github\workflows\coq-macos.yml
 3 -
A
fiat-c\src\p256_64.c
20 3 -
A
fiat-c\src\p256_scalar_32.c
20 3 -
A
fiat-c\src\p256_scalar_64.c
20 3 -
A
fiat-c\src\p384_32.c
20 3 -
A
fiat-c\src\p224_64.c
20 3 -
A
fiat-c\src\p224_32.c
20 3 -
A
fiat-c\src\curve25519_scalar_32.c
20 3 -
A
fiat-c\src\curve25519_scalar_64.c
20 3 -
A
fiat-c\src\curve25519_64.c
15 3 -