This page references various software projects of mine.

Machine simulator

Turing machine and automaton simulator, developped for teaching purposes.

Learn More

Kleene Algebras with converse

Explore the converse operation on relations! Decide (in-)equations!

Learn More

Kleene lattices

Decide of certain universal equations over binary relations.

Learn More

Concurrent Kleene Algebras

Decide CKA equations.

Learn More