| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 03-May-2022 | - | ||||
| Cryptol/ | H | 09-Sep-2001 | - | 47 | 38 | |
| Array.cry | H A D | 09-Sep-2001 | 341 | 14 | 9 | |
| Cryptol.cry | H A D | 09-Sep-2001 | 31.4 KiB | 1,149 | 939 | |
| CryptolTC.z3 | H A D | 09-Sep-2001 | 8.2 KiB | 344 | 281 | |
| Float.cry | H A D | 09-Sep-2001 | 6.5 KiB | 229 | 169 | |
| PrimeEC.cry | H A D | 09-Sep-2001 | 5.5 KiB | 163 | 144 | |
| SuiteB.cry | H A D | 09-Sep-2001 | 7.4 KiB | 237 | 197 |