Explore projects

Leaderboard based on Python (Flask) where students can submit code assignments and see how their performance metrics compare to other students.

Guide for installation of VNWA on linux.

http://tomte.cs.ru.nl/ Tomte is a tool that fully automatically constructs abstractions for automata learning.

LCQ changes