topoipat Goto Github PK
Name: Patrick Reynolds
Type: User
Company: Topoi Labs
Bio: I build products for Topoi Labs to improve the human experience. I enjoy building based on type theory, categories, and high-dimensional probability spaces.
Location: United States
Blog: topoilabs.com