download all originals (max 1 GB)| Name | Format | # Files | Size | Date |
|---|---|---|---|---|
| ct_length.awk.gz | GZip archive | 1 | 269 b | 2008-05-06 |
| decl.awk.gz | GZip archive | 1 | 1.4 KB | 2008-05-06 |
| deps.awk.gz | GZip archive | 1 | 691 b | 2008-05-06 |
| eatc.awk.gz | GZip archive | 1 | 317 b | 2008-05-06 |
| gdecl.awk.gz | GZip archive | 1 | 1.3 KB | 2008-05-06 |
| hcal.gz | GZip archive | 1 | 4.9 KB | 2008-05-06 |
| hical.gz | GZip archive | 1 | 1.5 KB | 2008-05-06 |
| nocomment.awk.gz | GZip archive | 1 | 389 b | 2008-05-06 |
| primes.awk.gz | GZip archive | 1 | 545 b | 2008-05-06 |
| qsort.awk.gz | GZip archive | 1 | 553 b | 2008-05-06 |