Some tools used in my work