Explore projects
-
This repo has been migrated to GitHub: https://github.com/thaliawww/concrexit
Archived 9Updated -
Updated
-
Archived 1Updated
-
-
Updated
-
Updated
-
http://tomte.cs.ru.nl/ Tomte is a tool that fully automatically constructs abstractions for automata learning.
Updated -
This repository hosts all lecture notes and exercises for the 2021 course Monte Carlo Techniques (NWI-NM042B).
Updated -
A compiler and static cost analyzer for a simplified variant of iTasks
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 -