master
cryptol
Repository badge with AMinus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
cryptol-remote-api\python\tests\cryptol\test_quoting.py
5 2 3
A
cryptol-remote-api\python\cryptol\commands.py
81 4 2
A
cryptol-remote-api\python\tests\cryptol\test_types.py
3 2 -
A
.github\gen_html_context.py
 2 -
A
cryptol-remote-api\run_rpc_tests.sh
 3 1
A
cryptol-remote-api\python\cryptol\cryptoltypes.py
149 5 3
A
cryptol-remote-api\src\CryptolServer\AesonCompat.hs
 1 -
A
bench\Main.hs
 2 -
A
cryptol-remote-api\src\CryptolServer\Check.hs
 2 3
A
cryptol-remote-api\python\cryptol\file_deps.py
3 1 2
A
cryptol-remote-api\src\CryptolServer\Data\Expression.hs
 4 1
A
.github\workflows\ci.yml
 25 -
A
cryptol-remote-api\src\CryptolServer\EvalExpr.hs
 1 -
A
cryptol-remote-api\python\cryptol\quoting.py
20 2 1
A
cryptol-remote-api\src\CryptolServer\Exceptions.hs
 5 -
A
cryptol-remote-api\src\CryptolServer\ExtendSearchPath.hs
 1 -
A
cryptol-remote-api\Dockerfile
 6 3
A
cryptol-remote-api\python\cryptol\single_connection.py
38 6 -
A
cryptol-remote-api\src\CryptolServer\FileDeps.hs
 1 -
A
cryptol-remote-api\src\CryptolServer\FocusedModule.hs
 1 -