Repositories list

• CQL

  Public
  Categorical Query Language IDE

  data-scienceetlfunctional-programming+ 5

  data-scienceetlfunctional-programmingcategory-theorydata-integrationcqldata-exchangedata-migratation

  Java

  •2828 forks in CategoricalData/CQL•364364 stars in CategoricalData/CQL•5050 issues in CategoricalData/CQL•00 pull requests in CategoricalData/CQL•Updated Oct 16, 2026Oct 16, 2026

• categoricaldata.github.io

  Public
  For configuring GitHub pages

  HTML

  •00 forks in CategoricalData/categoricaldata.github.io•11 star in CategoricalData/categoricaldata.github.io•00 issues in CategoricalData/categoricaldata.github.io•00 pull requests in CategoricalData/categoricaldata.github.io•Updated Oct 16, 2026Oct 16, 2026

• hydra

  Public
  Graph programming language

  Haskell

  •

  Apache License 2.0

  •2828 forks in CategoricalData/hydra•203203 stars in CategoricalData/hydra•154154 issues in CategoricalData/hydra•00 pull requests in CategoricalData/hydra•Updated Oct 15, 2026Oct 15, 2026

• hydra-agents

  Public
  Agentic development framework for projects built with Hydra

  Shell

  •

  Apache License 2.0

  •00 forks in CategoricalData/hydra-agents•11 star in CategoricalData/hydra-agents•11 issue in CategoricalData/hydra-agents•11 pull request in CategoricalData/hydra-agents•Updated Oct 15, 2026Oct 15, 2026

• HydraPop

  Public
  Translingual extensions for Apache TinkerPop

  Java

  •

  Apache License 2.0

  •00 forks in CategoricalData/HydraPop•22 stars in CategoricalData/HydraPop•00 issues in CategoricalData/HydraPop•00 pull requests in CategoricalData/HydraPop•Updated Aug 5, 2026Aug 5, 2026

• Silmarils

  Public
  HTML

  •00 forks in CategoricalData/Silmarils•33 stars in CategoricalData/Silmarils•00 issues in CategoricalData/Silmarils•00 pull requests in CategoricalData/Silmarils•Updated Jun 19, 2026Jun 19, 2026

• hydra-python-feedstock

  Public
  A conda-smithy repository for hydra-python.

  BSD 3-Clause "New" or "Revised" License

  •33 forks in CategoricalData/hydra-python-feedstock•00 stars in CategoricalData/hydra-python-feedstock•00 issues in CategoricalData/hydra-python-feedstock•00 pull requests in CategoricalData/hydra-python-feedstock•Updated Jun 16, 2026Jun 16, 2026

• SqlSemanticSearch

  Public
  Semantic search for SQL

  C#

  •

  Apache License 2.0

  •00 forks in CategoricalData/SqlSemanticSearch•1010 stars in CategoricalData/SqlSemanticSearch•77 issues in CategoricalData/SqlSemanticSearch•00 pull requests in CategoricalData/SqlSemanticSearch•Updated Apr 8, 2025Apr 8, 2025

• RuleFinder

  Public
  GNU Affero General Public License v3.0

  •00 forks in CategoricalData/RuleFinder•11 star in CategoricalData/RuleFinder•00 issues in CategoricalData/RuleFinder•00 pull requests in CategoricalData/RuleFinder•Updated Jul 18, 2024Jul 18, 2024

• APG

  Public
  Coq Implementation of Algebraic Property Graphs

  Coq

  •

  GNU Affero General Public License v3.0

  •22 forks in CategoricalData/APG•1111 stars in CategoricalData/APG•33 issues in CategoricalData/APG•00 pull requests in CategoricalData/APG•Updated Oct 13, 2021Oct 13, 2021

• FQL

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

  Java

  •11 fork in CategoricalData/FQL•1616 stars in CategoricalData/FQL•00 issues in CategoricalData/FQL•00 pull requests in CategoricalData/FQL•Updated Aug 22, 2019Aug 22, 2019

• catdb

  Public
  Category theory in Coq, by Jason Gross

  coqcategory-theory

  coqcategory-theory

  Coq

  •

  MIT License

  •22 forks in CategoricalData/catdb•1616 stars in CategoricalData/catdb•00 issues in CategoricalData/catdb•00 pull requests in CategoricalData/catdb•Updated Jan 29, 2015Jan 29, 2015

• opl

  Public
  Operad Programming Language in Haskell, by David Darais

  haskellcategory-theoryoperad-programming-language

  haskellcategory-theoryoperad-programming-language

  Haskell

  •

  Other

  •11 fork in CategoricalData/opl•3333 stars in CategoricalData/opl•00 issues in CategoricalData/opl•00 pull requests in CategoricalData/opl•Updated Apr 1, 2014Apr 1, 2014

• HoTT-categories

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

  Coq

  •22 forks in CategoricalData/HoTT-categories•2626 stars in CategoricalData/HoTT-categories•2727 issues in CategoricalData/HoTT-categories•00 pull requests in CategoricalData/HoTT-categories•Updated Jan 10, 2014Jan 10, 2014