Hippo System (modelling, design, analysis, Petri nets, CPS, concurrent and manufacturing systems)

Cryptographic portal (tasks, quizzes, riddles, visualisation of algorithms - in Polish)