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