master
fiat-crypto
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
.github\workflows\coq-opam-package.yml
 2 -
A
fiat-c\src\poly1305_32.c
14 3 -
A
etc\governor.sh
 1 -
A
fiat-c\src\secp256k1_dettman_32.c
2 1 -
A
etc\ci\in-debian-chroot.sh
 1 -
A
fiat-c\src\secp256k1_montgomery_32.c
20 3 -
A
etc\machine.sh
 1 -
A
fiat-c\src\secp256k1_montgomery_scalar_32.c
20 3 -
A
fiat-go\64\curve25519scalar\curve25519scalar.go
16 3 -
A
fiat-go\32\curve25519\curve25519.go
19 3 -
A
etc\ratios.py
3 1 -
A
fiat-go\32\p224\p224.go
16 3 -
A
.github\workflows\coq-windows.yml
 2 -
A
fiat-go\64\p224\p224.go
16 3 -
A
fiat-go\64\curve25519solinas\curve25519solinas.go
3 1 -
A
fiat-go\32\poly1305\poly1305.go
16 3 -
A
fiat-go\32\p384scalar\p384scalar.go
16 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 -