This repo has been migrated to GitHub: https://github.com/thaliawww/concrexit
http://cncz.science.ru.nl en https://home.cncz.nl
This project has been moved to GitLab.com.
Python+Java tool for learning TCP implementations
This repository hosts all lecture notes and exercises for the 2021 course Monte Carlo Techniques (NWI-NM042B).
Tomte is a tool that fully automatically constructs abstractions for automata learning.
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.
Leaderboard based on Python (Flask) where students can submit code assignments and see how their performance metrics compare to other students.
The Clean platform is a collection of multi-platform general purpose libraries for Clean.
Make Thalia-website great again.