Explore projects

Leaderboard based on Python (Flask) where students can submit code assignments and see how their performance metrics compare to other students.

Computer Science Master's Thesis

Software to run the pipelines, work with database, etc.

Implementing the L* learning algorithm for nominal automata, using the ONS library

Make Thalia-website great again.

https://thalia.nu/docs/

Several sets of benchmarks for the two partition refinement algorithms found in the gitlab.science.ru.nl/rick/partition repository.

Docker image for the software security testcms.

Authors: Rauf Mahmudlu, Halim Munawar, Moritz Neikes, Niels Samwel

The Clean platform is a collection of multi-platform general purpose libraries for Clean.

Build and CI scripts for Clean

Scripts for generating offline or self-hosted slippy maps.

Scripts and tools to compile Clean for multiple platforms (e.g. Linux, Windows and Android).