Adding repos from HackFMI 3