Repository for Pedra's softwares on github