qqzsxyz1/tools

Source code for various tiny tools that I find useful and want to share.

tools

Source code for various tiny tools that I find useful and want to share.

These tools will inevitably be documented at https://randomascii.wordpress.com/