A small collection of libraries, tools and extensions for (g)awk.
A GAWK plug-in to process a stream of JSON data in a tabular AWK fashion