Run-time system for the Clean programming language

Clean codegenerator

Prof. Tine will automatically grade open questions that require a formal answer. As an example, an SQL programming exercise asks for a solution that solves a certain task. Tine will run tests that check the correct behaviour of the SQL query.

Build and CI scripts for Clean

The iTask framework for developing Task-Oriented Programs.

Clean compiler

TUI for marietje-zuid

There’s an App for Everything

Make Thalia-website great again.

Clean make