Categorical Data

Categorical Data's repositories

Categorical Query Language IDE

Language:JavaAGPL-3.0292 30 70

Transformations transformed

Language:JavaApache-2.062 7 98

Operad Programming Language in Haskell, by David Darais

Language:HaskellNOASSERTION30 90

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

Language:Coq23 5 27

Category theory in Coq, by Jason Gross

Language:CoqMIT11 30

Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky

Language:Java10 90

Coq Implementation of Algebraic Property Graphs

Language:CoqAGPL-3.08 10 3

For configuring GitHub pages

Language:CSS080