2 repositories on SrcLog
Math & CS Awesome List, distinguished by proof and logic and technique
A curated list of pure math references and resources