Interesting to look through the "starred" repos of that account ... seems like a hit list: https://github.com/JiaT75?tab=stars