Frawk: An efficient Awk-like programming language. (2021) · HackerTrans