GitPlanet
All Git Users → statebox

3 open source projects by statebox

[ Open user page on Github ]
1. Idris Ct
formally verified category theory library
✭ 203
category-theory
2. Cql
CQL: Categorical Query Language implementation in Haskell
✭ 132
haskellcategory-theoryquery-language
3. Awesome Applied Ct
ACT community resources
✭ 412
curated-listcategory-theory
1-3 of 3 user projects