10 tools for developers