All Git Users → CategoricalData

2 open source projects by CategoricalData

[ Open user page on Github ]

Categorical Query Language IDE

✭ 196

java data-science functional-programming etl category-theory

2. HoTT-categories

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

✭ 22

Coq python shell emacs lisp

1-2 of 2 user projects