master
cryptol
Repository badge with AMinus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
src\Cryptol\Backend\WordValue.hs
 1 4
A
cryptol-remote-api\src\CryptolServer\Options.hs
 2 -
B
src\Cryptol\Eval\FFI.hs
 7 8
A
src\Cryptol\Parser\LexerUtils.hs
 1 -
A
src\Cryptol\Eval\Generic.hs
 4 3
A
cryptol-remote-api\src\CryptolServer\TypeCheck.hs
 1 -
A
src\Cryptol\Eval\Reference.lhs
 7 -
A
src\Cryptol\Parser\Token.hs
 5 -
A
src\Cryptol\Eval\Type.hs
 3 -
A
cryptol-remote-api\test-cryptol-remote-api.py
 1 -
A
src\Cryptol\Eval\What4.hs
 3 1
A
cryptol-remote-api\cryptol-eval-server\Main.hs
 2 -
A
src\Cryptol\REPL\Browse.hs
 2 -
A
src\Cryptol\PrimeEC.hs
 2 2
A
src\Cryptol\Parser\Selector.hs
 1 -
A
src\Cryptol\ModuleSystem\Renamer\Error.hs
 3 -
A
src\Cryptol\ModuleSystem\Renamer.hs
 7 -
A
cryptol-remote-api\Setup.hs
 1 -
A
cryptol-remote-api\src\CryptolServer\Names.hs
 3 1
A
src\Cryptol\Eval.hs
 7 1