raspi.itu.dk

This is a research server, a 15 W Raspberry Pi 5, at the IT University of Copenhagen, Denmark.

It is maintained by Peter Sestoft, email sestoft@itu.dk.

2026-08-13