This page references various software projects of mine.

Machine simulator

Turing machine and automaton simulator, developped for teaching purposes.

Lire plus

Kleene Algebras with converse

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

Lire plus

Kleene lattices

Decide of certain universal equations over binary relations.

Lire plus

Concurrent Kleene Algebras

Decide CKA equations.

Lire plus