master
cryptol
Repository badge with AMinus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
utils\CryTC.hs
 1 -
A
utils\CryPP.hs
 1 -
A
utils\CryNoPat.hs
 1 -
A
utils\CryHtml.hs
 1 -
A
utils\CryAST.hs
 1 -
A
tests\parser\RunTests.hs
 1 -
A
tests\parser\RunLexer.hs
 1 -
A
tests\ffi\test-ffi.h
0 3 -
A
tests\ffi\test-ffi.c
42 5 -
A
tests\ffi\ffi-runtime-errors.c
2 1 -
A
tests\ffi\ffi-fallback.c
2 1 -
A
tests\ffi\ffi-fallback-rec.c
1 1 -
A
tests\Main.hs
 1 -
A
src\GitRev.hs
 1 -
A
src\GHC\Num\Compat.hs
 1 1
A
src\Cryptol\Version.hs
 4 -
A
src\Cryptol\Utils\Types.hs
 1 -
A
src\Cryptol\Utils\RecordMap.hs
 4 -
A
src\Cryptol\Utils\Patterns.hs
 2 1
A
src\Cryptol\Utils\Panic.hs
 2 -