![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| zerofile.awk | 2023-07-13 20:04 | 421 | |
| strtonum.awk | 2023-07-13 20:04 | 1.4K | |
| round.awk | 2023-07-13 20:04 | 672 | |
| rewind.awk | 2023-07-13 20:04 | 401 | |
| readable.awk | 2023-07-13 20:04 | 443 | |
| passwd.awk | 2023-07-13 20:04 | 1.1K | |
| ord.awk | 2023-07-13 20:04 | 934 | |
| noassign.awk | 2023-07-13 20:04 | 419 | |
| nextfile.awk | 2023-07-13 20:04 | 383 | |
| libintl.awk | 2023-07-13 20:04 | 238 | |
| join.awk | 2023-07-13 20:04 | 375 | |
| group.awk | 2023-07-13 20:04 | 1.8K | |
| gettime.awk | 2023-07-13 20:04 | 2.4K | |
| getopt.awk | 2023-07-13 20:04 | 2.2K | |
| ftrans.awk | 2023-07-13 20:04 | 314 | |
| ctime.awk | 2023-07-13 20:04 | 233 | |
| cliff_rand.awk | 2023-07-13 20:04 | 304 | |
| bits2str.awk | 2023-07-13 20:04 | 327 | |
| assert.awk | 2023-07-13 20:04 | 379 | |