Explore projects

Hands-on session covering Isabelle & the refinement framework at the group's retreat 2025

An EDA toolchain for interval thermal simulations of 2D multi-/many-cores in an open system.

This is the official repository for the Digital Health Group 8 submission containing all relevant resource in the taxonomy development.

A dedicated GUI composer based around FAIR vocabularies.

FAIRO data processing tools

Python library for reading and parse the RainQuest Hackathon organized by KCDS.