Repositories list

• hydra

  Public
  Transformations transformed

  Java

  •

  Apache License 2.0

  •10•74•51•0•Updated Nov 11, 2024Nov 11, 2024

• CQL

  Public
  Categorical Query Language IDE

  data-scienceetlfunctional-programming+ 5category-theorydata-integrationcqldata-exchangedata-migratation

  Java

  •23•299•37•0•Updated Oct 20, 2024Oct 20, 2024

• Mirrors

  Public
  HTML

  •0•0•0•0•Updated Oct 11, 2024Oct 11, 2024

• RuleFinder

  Public
  GNU Affero General Public License v3.0

  •0•1•0•0•Updated Jul 18, 2024Jul 18, 2024

• APG

  Public
  Coq Implementation of Algebraic Property Graphs

  Coq

  •

  GNU Affero General Public License v3.0

  •2•8•3•0•Updated Oct 13, 2021Oct 13, 2021

• FQL

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

  Java

  •1•10•0•0•Updated Aug 22, 2019Aug 22, 2019

• categoricaldata.github.io

  Public
  For configuring GitHub pages

  CSS

  •0•0•0•0•Updated May 8, 2019May 8, 2019

• catdb

  Public
  Category theory in Coq, by Jason Gross

  category-theorycoq

  Coq

  •

  MIT License

  •2•12•0•0•Updated Jan 29, 2015Jan 29, 2015

• opl

  Public
  Operad Programming Language in Haskell, by David Darais

  category-theoryhaskelloperad-programming-language

  Haskell

  •

  Other

  •1•31•0•0•Updated Apr 1, 2014Apr 1, 2014

• HoTT-categories

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

  Coq

  •2•24•27•0•Updated Jan 10, 2014Jan 10, 2014