Tools for developers is a public notion page with a list of searchable list of tools for devs to boost their productivity.