Skip to content
@CategoricalData

Categorical Data

Pinned Loading

  1. hydra hydra Public

    Graph programming language

    Java 82 11

Repositories

Showing 10 of 11 repositories
  • hydra Public

    Graph programming language

    CategoricalData/hydra’s past year of commit activity
    Java 82 Apache-2.0 11 56 0 Updated Apr 25, 2025
  • CQL Public

    Categorical Query Language IDE

    CategoricalData/CQL’s past year of commit activity
    Java 304 24 41 (7 issues need help) 0 Updated Apr 22, 2025
  • SqlSemanticSearch Public

    Semantic search for SQL

    CategoricalData/SqlSemanticSearch’s past year of commit activity
    C# 2 Apache-2.0 0 7 (3 issues need help) 0 Updated Apr 8, 2025
  • categoricaldata.github.io Public

    For configuring GitHub pages

    CategoricalData/categoricaldata.github.io’s past year of commit activity
    HTML 1 0 0 0 Updated Apr 3, 2025
  • Silmarils Public
    CategoricalData/Silmarils’s past year of commit activity
    HTML 2 0 0 0 Updated Jan 12, 2025
  • RuleFinder Public
    CategoricalData/RuleFinder’s past year of commit activity
    1 AGPL-3.0 0 0 0 Updated Jul 18, 2024
  • APG Public

    Coq Implementation of Algebraic Property Graphs

    CategoricalData/APG’s past year of commit activity
    Coq 9 AGPL-3.0 2 3 0 Updated Oct 13, 2021
  • FQL Public

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

    CategoricalData/FQL’s past year of commit activity
    Java 10 1 0 0 Updated Aug 22, 2019
  • catdb Public

    Category theory in Coq, by Jason Gross

    CategoricalData/catdb’s past year of commit activity
    Coq 14 MIT 2 0 0 Updated Jan 29, 2015
  • opl Public

    Operad Programming Language in Haskell, by David Darais

    CategoricalData/opl’s past year of commit activity
    Haskell 31 1 0 0 Updated Apr 1, 2014
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…