Categorical Query Language

The Categorical Query Language IDE provides a reference implementation of David Spivak’s functorial data migration and associated constructions. Its designed is detailed here. For more information, please see:

• Community page

Build and installation

Pre-built Binary

Github Releases

Eclipse

Quick build guide:

• create a new java project
• add the src folder as a source folder
• add resources/open as a separate source folder
• add lib/* to the classpath as external jar files
• run catdata.ide.IDE as the main class

Detailed Build Guide

Related projects:

• Archived FQL code
• CatCoLab
• AlgebraicJulia
• CQL in Haskell

License

Categorical Data IDE

Copyright (c) 2015+ Conexus AI, Inc. All rights reserved.

BSD 3 license for non-commercial use and exploratory/evaluative commercial use; contact us for other licenses. https://opensource.org/license/bsd-3-clause

Contains binary distributions of

jparsec (Apache), JUNG (BSD), RSyntaxTextArea, autocomplete and rstaui (BSD), Commons CSV, Exec, and Collections4 (Apache), H2 (EPL), OpenCSV (Apache), JGraph (BSD), Javax JSON (CDDL) and json.org JSON (JSON), txtmark (Apache), GraalVM (MIT), Commonmark (BSD), commons-lang-3 (Apache), Google Guava (Apache), Gnu Trove (LGPL), Picocli (Apache), Apache HttpComponents and Jena (Apache)

And a source distribution of

EASIK (BSD)