Developer tools based on category theory
Check Viete extension for Visual Code
or login to try online