| Name | Size | Modified | Perms | Actions |
|---|---|---|---|---|
| 📁 .. | - | 12/17/2025 04:17:54 AM | rwxr-xr-x | |
| 📄 assert.awk | 383 bytes | 02/25/2018 05:17:35 PM | rw-r--r-- | Delete |
| 📄 bits2str.awk | 334 bytes | 02/25/2018 05:17:35 PM | rw-r--r-- | Delete |
| 📄 cliff_rand.awk | 307 bytes | 02/25/2018 05:17:35 PM | rw-r--r-- | Delete |
| 📄 ctime.awk | 234 bytes | 02/25/2018 05:17:35 PM | rw-r--r-- | Delete |
| 📄 ftrans.awk | 315 bytes | 02/25/2018 05:17:35 PM | rw-r--r-- | Delete |
| 📄 getopt.awk | 2.15 KB | 02/25/2018 05:17:35 PM | rw-r--r-- | Delete |
| 📄 gettime.awk | 2.43 KB | 02/25/2018 05:17:35 PM | rw-r--r-- | Delete |
| 📄 group.awk | 1.72 KB | 04/18/2022 03:55:53 PM | rw-r--r-- | Delete |
| 📄 have_mpfr.awk | 221 bytes | 02/25/2018 05:17:35 PM | rw-r--r-- | Delete |
| 📄 inplace.awk | 1.95 KB | 02/25/2018 05:17:35 PM | rw-r--r-- | Delete |
| 📄 intdiv0.awk | 462 bytes | 02/25/2018 05:17:35 PM | rw-r--r-- | Delete |
| 📄 join.awk | 378 bytes | 02/25/2018 05:17:35 PM | rw-r--r-- | Delete |
| 📄 libintl.awk | 238 bytes | 02/25/2018 05:17:35 PM | rw-r--r-- | Delete |
| 📄 noassign.awk | 422 bytes | 02/25/2018 05:17:35 PM | rw-r--r-- | Delete |
| 📄 ord.awk | 937 bytes | 02/25/2018 05:17:35 PM | rw-r--r-- | Delete |
| 📄 passwd.awk | 1.17 KB | 04/18/2022 03:55:53 PM | rw-r--r-- | Delete |
| 📄 processarray.awk | 355 bytes | 02/25/2018 05:17:35 PM | rw-r--r-- | Delete |
| 📄 quicksort.awk | 1.01 KB | 02/25/2018 05:17:35 PM | rw-r--r-- | Delete |
| 📄 readable.awk | 489 bytes | 02/25/2018 05:17:35 PM | rw-r--r-- | Delete |
| 📄 readfile.awk | 267 bytes | 02/25/2018 05:17:35 PM | rw-r--r-- | Delete |
| 📄 rewind.awk | 404 bytes | 02/25/2018 05:17:35 PM | rw-r--r-- | Delete |
| 📄 round.awk | 661 bytes | 02/25/2018 05:17:35 PM | rw-r--r-- | Delete |
| 📄 shellquote.awk | 472 bytes | 02/25/2018 05:17:35 PM | rw-r--r-- | Delete |
| 📄 strtonum.awk | 1.42 KB | 02/25/2018 05:17:35 PM | rw-r--r-- | Delete |
| 📄 walkarray.awk | 214 bytes | 02/25/2018 05:17:35 PM | rw-r--r-- | Delete |
| 📄 zerofile.awk | 424 bytes | 02/25/2018 05:17:35 PM | rw-r--r-- | Delete |