master
cryptol
Repository badge with AMinus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
.github\workflows\ci.yml
 25 -
A
src\Cryptol\ModuleSystem\Base.hs
 12 1
A
src\Cryptol\REPL\Command.hs
 10 1
A
src\Cryptol\TypeCheck\Infer.hs
 10 2
A
src\Cryptol\REPL\Monad.hs
 9 -
A
src\Cryptol\Parser\ParserUtils.hs
 9 -
A
src\Cryptol\TypeCheck\Sanity.hs
 8 -
A
docs\RefMan\_build\html\RefMan.html
 8 -
A
src\Cryptol\Eval.hs
 7 1
B
src\Cryptol\Eval\FFI.hs
 7 8
A
docs\RefMan\_build\html\Modules.html
 7 -
A
src\Cryptol\TypeCheck\AST.hs
 7 2
A
src\Cryptol\Parser\NoPat.hs
 7 -
A
docs\RefMan\_build\html\FFI.html
 7 -
A
src\Cryptol\ModuleSystem\Renamer.hs
 7 -
A
src\Cryptol\ModuleSystem\Monad.hs
 7 -
A
src\Cryptol\Parser\AST.hs
 7 2
A
src\Cryptol\Eval\Reference.lhs
 7 -
A
Dockerfile
 7 2
A
docs\RefMan\_build\html\search.html
 6 -