Functorial Query Languages

Join our announcement mailing list, contact us directly, or view our google group discussion forum.

This page hosts an example-filled graphical IDE for a family of functorial query languages. David Spivak and Ryan Wisnesky and Patrick Schultz are the primary contributors. Categorical Informatics, Inc. is commercializing this research. Source code (BSD license) is available here.

Download the FQL IDE:

Learn about FQL:

Languages included in the FQL IDE:

Back to