master
cryptol
Repository badge with AMinus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
src\Cryptol\Backend\WordValue.hs
 1 4
A
.github\ci.sh
 4 -
A
docs\RefMan\conf.py
 2 -
A
docs\RefMan\_build\html\_static\css\badge_only.css
 3 2
A
src\Cryptol\Backend\FFI.hs
 5 3
A
docs\RefMan\_build\html\_static\documentation_options.js
 5 1
A
helm\cryptol-remote-api\templates\deployment.yaml
 1 -
A
.github\wix.ps1
 2 -
A
src\Cryptol\Eval\Prims.hs
 1 1
A
cryptol-remote-api\run_rpc_tests.sh
 3 1
A
.github\pr-labeler.yml
 1 -
A
docs\RefMan\_build\html\_static\searchtools.js
 6 -
A
bench\Main.hs
 2 -
A
src\Cryptol\Eval\SBV.hs
 2 5
A
src\Cryptol\Eval\Reference.lhs
 7 -
A
src\Cryptol\Eval\Env.hs
 2 1
A
src\Cryptol\AES.hs
 2 -
A
helm\cryptol-remote-api\values.yaml
 1 -
A
cryptol-remote-api\Setup.hs
 1 -
A
cryptol-remote-api\src\CryptolServer\Names.hs
 3 1