Explore projects

Formal Methods and Functional Programming

Open Source university course for computer science students, introducing the Rust Programming Language

Synthetic population for Switzerland and Zurich

Publicly visible collection of LinuxDays courses