Dingen

• BaaS: Bisimulation as a Service
• 123bicategorie.nl: webshop for categorical products
• Rust animation in the browser
• Boolean operations in svg animation
• Visualisation of differences in two FSM models (demo)