Categorical Data

Repositories

• CQL

  Categorical Query Language IDE

  data-science etl functional-programming category-theory data-integration cql data-exchange
  Java AGPL-3.0 9 160 31 (8 issues need help) 0 Updated May 22, 2020

• Coq

  Coq Implementation of Algebraic Property Graphs
  Coq AGPL-3.0 0 0 3 0 Updated Mar 26, 2020

• FQL

  Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky
  Java 0 3 0 0 Updated Aug 22, 2019

• categoricaldata.github.io

  For configuring GitHub pages
  CSS 0 0 0 0 Updated May 8, 2019

• catdb

  Category theory in Coq, by Jason Gross

  coq category-theory
  Coq MIT 2 7 0 0 Updated Jan 29, 2015

• opl

  Operad Programming Language in Haskell, by David Darais

  haskell category-theory operad-programming-language
  Haskell 1 20 0 0 Updated Apr 1, 2014

• HoTT-categories

  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  Coq 2 19 27 0 Updated Jan 10, 2014