Explore projects
-
thalia / concrexit
GNU Affero General Public License v3.0This repo has been migrated to GitHub: https://github.com/thaliawww/concrexit
Archived 9Updated -
Updated
-
clean-and-itasks / iTasks SDK
BSD 2-Clause FreeBSD LicenseThis project has been moved to GitLab.com.
Archived 1UpdatedArchived 1Updated -
Paul Fiterau Brostean / tcp-learner
Apache License 2.0Python+Java tool for learning TCP implementations
Updated -
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 -
This repository hosts all lecture notes and exercises for the 2021 course Monte Carlo Techniques (NWI-NM042B).
Updated -
Updated
-
Markus Klinik / program-analysis
MIT LicenseA 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 -
Joost Rijneveld / concrexit
GNU Affero General Public License v3.0Make Thalia-website great again.
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 -