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.

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).

open\HSR Git/GitHub Workshop 2019

open\HSR Linux Workshop 2020

open\HSR Connect
Prototype of a lecture slide, documents and notes managing tool for students.

Swiss Python Summit helper (2017, 2018)

ZuriHac attendee/helper (2019)

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

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

Various small side projects -- take a look at my GitHub profile

Coredump Hacker- and Makerspace Rapperswil-Jona

Various lecture summaries together with Michael Wieland

Little House on the Prairie (website)

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

Klettergarten Ilanz/Schnaus realization of a climbing area near Ilanz and Schnaus and former website

Spielgruppe Ilanz former website and technology support