Categorical Data

Results 4 repositories owned by


                                            Categorical Data

292

Stars

Forks

Watchers

Categorical Query Language IDE

Stars

Forks

Watchers

A category theory library built on top of Homotopy Type Theory, by Jason Gross

Stars

Forks

Watchers

Transformations transformed

Stars

Forks

Watchers

Operad Programming Language in Haskell, by David Darais