Categorical Data

hydra Public
Prepare to be transformed

Haskell 10 Apache-2.0 5 0 0 Updated Apr 6, 2022
APG Public
Coq Implementation of Algebraic Property Graphs

Coq 7 AGPL-3.0 2 3 0 Updated Oct 13, 2021
CQL Public
Categorical Query Language IDE

Java 233 AGPL-3.0 15 39 (8 issues need help) 0 Updated May 13, 2021
FQL Public
Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky

Java 6 1 0 0 Updated Aug 22, 2019
categoricaldata.github.io Public
For configuring GitHub pages

CSS 0 0 0 0 Updated May 8, 2019
catdb Public
Category theory in Coq, by Jason Gross

Coq 11 MIT 2 0 0 Updated Jan 29, 2015
opl Public
Operad Programming Language in Haskell, by David Darais

Haskell 25 1 0 0 Updated Apr 1, 2014
HoTT-categories Public
A category theory library built on top of Homotopy Type Theory, by Jason Gross

Coq 22 2 27 0 Updated Jan 10, 2014

Pinned