master
cryptol
Repository badge with AMinus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
src\Cryptol\Eval\Env.hs
 2 1
A
examples\maliciousSHA\eve1.sh
 1 1
A
cryptol-remote-api\src\CryptolServer\Data\Expression.hs
 4 1
A
helm\cryptol-remote-api\Chart.yaml
 1 -
A
src\Cryptol\ModuleSystem\Binds.hs
 2 1
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\FloatHelpers.hs
 2 1
A
src\Cryptol\Backend.hs
 1 -
A
cryptol-remote-api\src\CryptolServer\ExtendSearchPath.hs
 1 -
B
src\Cryptol\Backend\Concrete.hs
 2 7
A
src\Cryptol\Backend\WordValue.hs
 1 4
A
src\Cryptol\ModuleSystem\Renamer\Error.hs
 3 -
A
src\Cryptol\ModuleSystem\Renamer.hs
 7 -
A
src\Cryptol\ModuleSystem\Monad.hs
 7 -
A
src\Cryptol\Eval\SBV.hs
 2 5
A
src\Cryptol\Eval\Reference.lhs
 7 -
A
cryptol-remote-api\Setup.hs
 1 -
A
cryptol-remote-api\src\CryptolServer\Names.hs
 3 1