Explore projects

Build and CI scripts for Clean

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

This repo is for a publication which aims at unifying the ICTAC 2015 paper with related theoretical elements introduced by Judith's Master's dissertation. The target journal is: http://journals.cambridge.org/jid_MSC

Use another c linker than the Clean optimized linker.

Computer Assignment for the Combinatorics Course

The iTask framework for developing Task-Oriented Programs.

A refined list of topics to explore. Can be suitable for master projects and internships.

LaTeX repository for thesis document

Spark project accompanying thesis document

Het project van de app voor het R&D-project

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

iTasks Android app