The next category theory course will take place online on 16-19 November 2020. Find out more and sign up here!
The Statebox diagram editor allows the drawing of string diagrams in a very fast and intuitive way. It is based on the paper Foundations of Brick Diagrams published by founder Jelle Herold and Jules Hedges. The results in the paper, in particular, provide for a nice "pixel format" allowing for clever positioning of boxes within the diagram. All the most used symbols in the ACT crowd are already supported: permutations, cups, caps, spiders. Both boxes and wires can be annotated. The editor typechecks for correctness of the string diagrams typed in. Try it out here.
We have just released FSM-ORACLE, the first version of our formally verified core! It verifies finite state machine executions by relying on the categorical framework we built in idris-ct, our formally verified category theory library. Communication with the core makes use of our JSON implementation for typedefs, our solution to exchange types and terms between different functional programming languages.
Statebox is a grantee of the Ethereum Foundation Grant program, wave 6. Read more here.