Projects

qo.is: co-founder, board member and infrastructure lead
Association providing decentral, privacy-first ICT infrastructure to its members. Based on NixOS.

NixOS
Package Maintainer and active community member.

Coredump Hacker- and Makerspace Rapperswil-Jona

Small side projects -- take a look at my GitHub profile

Dafny programming language
And, in particular, the VSCode IDE Dafny integration with a LSP integration

Redbackup
Prototype of a distributed backups software written in Rust.
Joint study project with Raphael Zimmermann.

XMPP-Grid Broker
Feasibility study and implementation prototype of RFC8600 as contribution to the (then ongoing) standardization process.
Joint bachelor thesis with Raphael Zimmermann.

open\OST: Co-founder and former board member
Association to advance the open source community and usage of alternative operation systems (particularly Linux) at HSR University of Applied Sciences (now OST). We did various student workshops on Linux, Git, GitHub and how to contribute to open source software.

Das Studentenportal
Platform for students to exchange learning aids, announcing events (mostly parties) and sharing funny anecdotes.

Emmentaler Filmtage
Short film festival in the rural area of Emmental (Switzerland, 2009-2014)