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