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