master
cryptol
Repository badge with AMinus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
cryptol-remote-api\python\poetry.lock
 7 1
A
src\Cryptol\ModuleSystem\Binds.hs
 2 1
A
src\Cryptol\F2.hs
 1 1
A
src\Cryptol\ModuleSystem\Renamer\Imports.hs
 2 1
A
src\Cryptol\ModuleSystem\Base.hs
 12 1
A
src\Cryptol\Eval\What4.hs
 3 1
A
src\Cryptol\Eval\Prims.hs
 1 1
A
src\Cryptol\Eval\Env.hs
 2 1
A
cryptol-remote-api\python\tests\cryptol\test_bitvector.py
44 1 1
A
src\Cryptol\Backend\Monad.hs
 5 1
A
src\Cryptol\Parser\ExpandPropGuards.hs
 3 1
A
src\Cryptol\Eval.hs
 7 1
A
src\Cryptol\Backend\FloatHelpers.hs
 2 1
A
examples\maliciousSHA\eve2.sh
 1 1
A
cryptol-remote-api\run_rpc_tests.sh
 3 1
A
docs\RefMan\_build\html\_static\language_data.js
30 5 1
A
cryptol-remote-api\python\cryptol\custom_fstring.py
7 1 1
A
docs\RefMan\_build\html\_static\doctools.js
42 6 1
A
cryptol-remote-api\src\CryptolServer\Data\Expression.hs
 4 1
A
cryptol\Main.hs
 2 1