In 2016 I made an app to manage my GitHub stars, because I have nearly 1k stared repos and I can hardly find the one I want. Sometimes I wanna to make some animations / UX improvement and I know there is a repo can exactly fit my need, but I can't remember it's name .