Notes about some dev tools This repo contains some notes about the main tools I use as a developer: C++, Python, Docker, ROS, etc.