F

fql

IDE and compiler for a family of functorial query languages.