Hi there 👋 I'm doing Category theory + machine learning + game theory. Most of my recent work is not on Github, but can instead be found here.