Categorical Data

Repositories

• CQL

  Categorical Query Language IDE

  data-science etl functional-programming category-theory data-integration cql data-exchange
  Java AGPL-3.0 15 211 38 (8 issues need help) 0 Updated May 13, 2021

• Dragon-Scala

  Scala implementation of Dragon from generated and non-generated sources
  Apache-2.0 1 1 0 0 Updated Dec 29, 2020

• APG

  Coq Implementation of Algebraic Property Graphs
  Coq AGPL-3.0 1 4 3 0 Updated Sep 2, 2020

• FQL

  Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky
  Java 1 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 23 0 0 Updated Apr 1, 2014

• HoTT-categories

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