I meant dinosaur tamagotchi - I cannot find it on github though