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:
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
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)