2 repositories on SrcLog
Add it to a GitHub README or profile β the card updates as the ranking changes:
Categorical Query Language IDE
Operad Programming Language in Haskell, by David Darais