master
fiat-crypto
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
fiat-c\src\p384_64.c
20 3 -
A
fiat-go\64\p448solinas\p448solinas.go
16 3 -
A
fiat-java\src\FiatSecp256K1MontgomeryScalar.java
22 3 -
A
fiat-go\32\p384scalar\p384scalar.go
16 3 -
A
fiat-c\src\p448_solinas_32.c
14 3 -
A
fiat-c\src\p384_scalar_32.c
20 3 -
A
.github\workflows\go.yml
 2 -
A
etc\ci\describe-system-config.sh
 2 1
A
etc\ci\github-actions-docker-make.sh
 2 -
A
etc\ensure_stack_limit.sh
 2 -
A
etc\ci\github-actions-make.sh
 2 -
A
.github\workflows\coq-opam-package.yml
 2 -
A
.github\workflows\publish.yml
 2 -
A
.github\workflows\rust.yml
 2 -
A
fiat-amd64\test.sh
 2 -
A
.github\workflows\coq-windows.yml
 2 -
A
.github\workflows\zig.yml
 2 -
A
etc\ci\test-fiat-rust-curve25519-dalek.sh
 2 -
A
fiat-bedrock2\src\p521_64.c
34 2 -
A
.github\workflows\docker-coq.yml
 2 -