master
fiat-crypto
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
inversion\c\p384_32_test.c
0 1 -
A
inversion\c\p224_64.c
0 1 -
A
inversion\c\p224_64_test.c
0 1 -
A
etc\ci\describe-system-config-macos.sh
 1 1
A
fiat-java\src\FiatP521.java
18 1 -
A
src\Rewriter\PerfTesting\Specific\to_csv.py
75 1 1
A
src\Bedrock\End2End\X25519\garagedoor.py
 1 -
A
etc\ci\travis_keep_alive.sh
 1 -
A
fiat-bedrock2\src\poly1305_64.c
34 1 -
A
.github\workflows\go.yml
 2 -
A
etc\ci\describe-system-config.sh
 2 1
A
etc\ensure_stack_limit.sh
 2 -
A
.github\workflows\coq-opam-package.yml
 2 -
A
etc\ci\github-actions-make.sh
 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 -