Explore projects
-
Updated
-
Updated
-
Updated
-
-
http://tomte.cs.ru.nl/ Tomte is a tool that fully automatically constructs abstractions for automata learning.
Updated -
Run-time system for the Clean programming language
Updated -
-
The Clean platform is a collection of multi-platform general purpose libraries for Clean.
Updated -
Leaderboard based on Python (Flask) where students can submit code assignments and see how their performance metrics compare to other students.
Updated -
Updated
-
-
-
Firmware for single board computer hardware specifically made for the biophysics experimental setups. Typically runs on Raspberry Pi and Arduino boards. For communication we use LabStreamingLayer (LSL), ZeroMQ and the Boost framework.
Updated -
Updated
-
In this repository, you can find all the files of my bachelor thesis. You can find the LaTex Code but also the source code of the thesis,
Updated -
Practical assignment for the course Cryptographic Engineering (of the TRU/e Security Master), by Matthias Ghering and Wouter van der Linde
UpdatedUpdated -
Updated