OpenPush - A Free, Decentralized Push Messaging Framework for Android

f-droid.org/en/2020/02/03/open

(The embedded video doesn't play because of a strict CSP policy, if you want to watch it, you'll need to click through to the #FOSDEM talk page)

フロッピー

Server for nerds.