Codestin Search App

hydra Public
Graph programming language

CategoricalData/hydra’s past year of commit activity

Java 124 Apache-2.0 19 54 0 Updated Nov 4, 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 Oct 23, 2025
CQL Public
Categorical Query Language IDE

CategoricalData/CQL’s past year of commit activity

Java 319 25 47 (7 issues need help) 0 Updated Oct 21, 2025
SqlSemanticSearch Public
Semantic search for SQL

CategoricalData/SqlSemanticSearch’s past year of commit activity

C# 6 Apache-2.0 0 7 (3 issues need help) 0 Updated Apr 8, 2025
Silmarils Public

CategoricalData/Silmarils’s past year of commit activity

HTML 3 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 10 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 12 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 15 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 32 1 0 0 Updated Apr 1, 2014

View all repositories

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Categorical Data

Pinned Loading

Repositories

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

People

Top languages

Most used topics

Uh oh!