Developer tools

A collection of highly useful tools mainly for developers and not only.