| Name | Type | Size | Permission | Actions |
|---|---|---|---|---|
| ct_length.awk | File | 407 B | 0755 | Edit | Rename | Chmod | Delete |
| decl.awk | File | 2.97 KB | 0644 | Edit | Rename | Chmod | Delete |
| deps.awk | File | 1.28 KB | 0644 | Edit | Rename | Chmod | Delete |
| eatc.awk | File | 492 B | 0644 | Edit | Rename | Chmod | Delete |
| gdecl.awk | File | 2.72 KB | 0644 | Edit | Rename | Chmod | Delete |
| hcal.gz | File | 4.92 KB | 0644 | Edit | Rename | Chmod | Delete |
| hical | File | 3.12 KB | 0755 | Edit | Rename | Chmod | Delete |
| nocomment.awk | File | 590 B | 0644 | Edit | Rename | Chmod | Delete |
| primes.awk | File | 1.03 KB | 0644 | Edit | Rename | Chmod | Delete |
| qsort.awk | File | 1.07 KB | 0644 | Edit | Rename | Chmod | Delete |