Explore projects
-
Webserver that collects minimal data on irma servers (admin email if specified + version number)
Updated -
Updated
-
Code used for my masters thesis
Updated -
Chatserver written in AspectJ for the Software Product Lines course
Updated -
Learning product automata
Updated -
Practical assignment for the course Cryptographic Engineering (of the TRU/e Security Master), by Matthias Ghering and Wouter van der Linde
UpdatedUpdated -
-
-
-
-
Updated
-
Implementing the L* learning algorithm for nominal automata, using the ONS library
Updated -
Updated
-
Updated
-
-
Package partition can be used to construct the coarsest refinement of a partition P of a set N of integers [0, n) with respect to one or more functions of type N->N.
Updated -
Package fsm implements a simple finite state (Mealy) machine.
Updated -
Make Thalia-website great again.
Updated