Raphael

[Moved to GitHub's Registry] A relay server for push notifications via Matrix

[Moved to GitHub's Registry] The Tamarin prover - a security protocol verification tool

[Moved to GitHub's Registry] A Telegram bot to learn about new words every day

[Moved to GitHub's Registry] My personal Docker image for Nextcloud

[Moved to GitHub's Registry] An image that combines CFR, Fernflower, Krakatau, and Procyon

[Moved to GitHub's Registry] My personal Docker image for imapfilter

[ARCHIVED] A Telegram bot to receive notifications for software updates

[ARCHIVED] My personal Docker image for Tiny Tiny RSS

A Telegram bot that finds you the perfect flat in Switzerland 🏡🇨🇭