master
cryptol
Repository badge with AMinus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
cryptol-remote-api\src\CryptolServer\Exceptions.hs
 5 -
A
src\Cryptol\AES.hs
 2 -
A
examples\maliciousSHA\eve1.sh
 1 1
A
cryptol-remote-api\src\CryptolServer\Data\Expression.hs
 4 1
A
.github\workflows\ci.yml
 25 -
A
helm\cryptol-remote-api\templates\ingress.yaml
 1 -
A
cryptol-remote-api\src\CryptolServer\EvalExpr.hs
 1 -
A
helm\cryptol-remote-api\values.yaml
 1 -
A
src\Cryptol\Backend\Arch.hs
 1 -
A
src\Cryptol\Backend.hs
 1 -
A
cryptol-remote-api\src\CryptolServer\ExtendSearchPath.hs
 1 -
A
cryptol-remote-api\Dockerfile
 6 3
B
src\Cryptol\Backend\Concrete.hs
 2 7
A
cryptol-remote-api\src\CryptolServer\FileDeps.hs
 1 -
A
src\Cryptol\Backend\FFI.hs
 5 3
A
src\Cryptol\Backend\FFI\Error.hs
 4 -
A
cryptol-remote-api\src\CryptolServer\Interrupt.hs
 1 -
A
cryptol-remote-api\src\CryptolServer\FocusedModule.hs
 1 -
A
.github\ci.sh
 4 -
A
.github\pr-labeler.yml
 1 -