Explore projects
-
Updated
-
Updated
-
Updated
-
Paul Fiterau Brostean / tcp-learner
Apache License 2.0Python+Java tool for learning TCP implementations
Updated -
Harco Kuppens / tomte
BSD 3-Clause "New" or "Revised" Licensehttp://tomte.cs.ru.nl/ Tomte is a tool that fully automatically constructs abstractions for automata learning.
Updated -
clean-compiler-and-rts / run-time-system
BSD 2-Clause FreeBSD LicenseRun-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 -
IRMA / gomobile
BSD 3-Clause "New" or "Revised" LicenseUpdated -
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