| Name | Type | Size | Permission | Actions |
|---|---|---|---|---|
| ct_length.awk | File | 472 B | 0755 | Edit | Rename | Chmod | Delete |
| decl.awk | File | 3.19 KB | 0755 | Edit | Rename | Chmod | Delete |
| deps.awk | File | 1.82 KB | 0755 | Edit | Rename | Chmod | Delete |
| eatc.awk | File | 635 B | 0755 | Edit | Rename | Chmod | Delete |
| gdecl.awk | File | 2.88 KB | 0755 | Edit | Rename | Chmod | Delete |
| hcal | File | 13.97 KB | 0755 | Edit | Rename | Chmod | Delete |
| hical | File | 2.89 KB | 0755 | Edit | Rename | Chmod | Delete |
| nocomment.awk | File | 654 B | 0755 | Edit | Rename | Chmod | Delete |
| primes.awk | File | 1.03 KB | 0755 | Edit | Rename | Chmod | Delete |
| qsort.awk | File | 1.11 KB | 0755 | Edit | Rename | Chmod | Delete |