master
cryptol
Repository badge with AMinus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
cryptol-remote-api\src\CryptolServer\FileDeps.hs
 1 -
A
src\Cryptol\Backend\FFI.hs
 5 3
A
.github\gen_html_context.py
 2 -
A
src\Cryptol\Backend\FFI\Error.hs
 4 -
A
src\Cryptol\TypeCheck\FFI\Error.hs
 4 -
A
cryptol-remote-api\src\CryptolServer\FocusedModule.hs
 1 -
A
src\Cryptol\Backend\FloatHelpers.hs
 2 1
A
src\Cryptol\TypeCheck\Infer.hs
 10 2
A
cryptol-remote-api\run_rpc_tests.sh
 3 1
A
src\Cryptol\TypeCheck\Instantiate.hs
 4 -
A
docs\RefMan\_build\html\_static\searchtools.js
 6 -
A
src\Cryptol\Backend\Monad.hs
 5 1
A
cryptol-remote-api\src\CryptolServer\Interrupt.hs
 1 -
A
src\Cryptol\Backend\SBV.hs
 2 3
B
src\Cryptol\Backend\SeqMap.hs
 1 8
A
cryptol-remote-api\src\CryptolServer\LoadModule.hs
 1 -
A
src\Cryptol\Backend\What4.hs
 3 2
A
.github\ci.sh
 4 -
A
.github\pr-labeler.yml
 1 -
A
.github\workflows\docs.yml
 2 -