Useful tools

Summary of useful software for programming and other stuff.