String Diagram theory is adopted as intermediate representation in programs.
Improve Software Engineering with String Diagram theory.
Improve Math development experience with better software tools.
Publish all research and software.
Formalism, humanism, self-improvement.
Interact with us in any and all ways you like: Issues, PRs, discussions.
This project evolves with the latest academic information. We welcome papers, ideas and your creative process towards our vision.
Developers at the core of this formalization effort will need categorical tools. This is the first step in a new foundation for software engineering.
Resolve existing problems and giving feedback is the best way to gauge our design. Collaboration is at the heart of this project.
Many widely known projects such as Scala or LISP are omitted.