| Name | Size | Actions |
|---|---|---|
| assert.awk | 383 bytes | Edit | Rename | Delete |
| bits2str.awk | 334 bytes | Edit | Rename | Delete |
| cliff_rand.awk | 307 bytes | Edit | Rename | Delete |
| ctime.awk | 234 bytes | Edit | Rename | Delete |
| ftrans.awk | 315 bytes | Edit | Rename | Delete |
| getopt.awk | 2202 bytes | Edit | Rename | Delete |
| gettime.awk | 2491 bytes | Edit | Rename | Delete |
| group.awk | 1765 bytes | Edit | Rename | Delete |
| have_mpfr.awk | 221 bytes | Edit | Rename | Delete |
| inplace.awk | 1996 bytes | Edit | Rename | Delete |
| intdiv0.awk | 462 bytes | Edit | Rename | Delete |
| join.awk | 378 bytes | Edit | Rename | Delete |
| libintl.awk | 238 bytes | Edit | Rename | Delete |
| noassign.awk | 422 bytes | Edit | Rename | Delete |
| ord.awk | 937 bytes | Edit | Rename | Delete |
| passwd.awk | 1199 bytes | Edit | Rename | Delete |
| processarray.awk | 355 bytes | Edit | Rename | Delete |
| quicksort.awk | 1031 bytes | Edit | Rename | Delete |
| readable.awk | 489 bytes | Edit | Rename | Delete |
| readfile.awk | 267 bytes | Edit | Rename | Delete |
| rewind.awk | 404 bytes | Edit | Rename | Delete |
| round.awk | 661 bytes | Edit | Rename | Delete |
| shellquote.awk | 472 bytes | Edit | Rename | Delete |
| strtonum.awk | 1454 bytes | Edit | Rename | Delete |
| walkarray.awk | 214 bytes | Edit | Rename | Delete |
| zerofile.awk | 424 bytes | Edit | Rename | Delete |