I like mathematics and Lean language. Seasawher has 172 repositories available. Follow their code on GitHub.