A set of tools for pedagogical uses