Tiny Tools

Gerard Holzmann offers simple tools for developers who don't use IDEs but prefer to write code using their own screen editor and who do everything else with command-line tools.