master
fiat-crypto
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
fiat-go\32\secp256k1montgomery\secp256k1montgomery.go
16 3 -
A
etc\ci\sudo-apt-get-update.sh
 1 -
A
fiat-go\64\curve25519\curve25519.go
17 3 -
A
fiat-bedrock2\src\curve25519_64.c
36 1 -
A
fiat-go\64\curve25519solinas\curve25519solinas.go
3 1 -
A
.github\workflows\coq-windows.yml
 2 -
A
fiat-go\64\p256\p256.go
16 3 -
A
fiat-bedrock2\src\curve25519_solinas_64.c
18 1 -
A
fiat-go\64\p384\p384.go
16 3 -
A
etc\ci\test-fiat-rust-crate-crypto-Ed448-Goldilocks.sh
 1 -
A
fiat-go\64\p434\p434.go
16 3 -
A
fiat-bedrock2\src\p256_64.c
44 1 -
A
fiat-go\64\p521\p521.go
18 4 -
A
fiat-bedrock2\src\poly1305_32.c
34 1 -
A
fiat-bedrock2\src\p448_solinas_64.c
34 1 -
A
.github\dependabot.yml
 1 -
A
.github\workflows\coq-debian.yml
 1 -
A
.github\workflows\docker-coq.yml
 2 -
A
etc\additionchain.py
2 1 -
A
etc\ci\travis_keep_alive.sh
 1 -