Single-binary implementation of hepto

yt-dlp fork with some more features

Our kubernetes cluster configuration

HTTP-based pub-sub notification service. Forked from https://github.com/binwiederhier/ntfy

https://data.tedomum.net

Nextcloud, forked from https://github.com/nextcloud/server

Friendly proof assistant

https://matrix.tedomum.net

synapse server, forked from https://github.com/matrix-org/synapse

Forked from: https://github.com/LemmyNet/lemmy-ui/

https://lemmy.tedomum.net/ forked from https://github.com/LemmyNet/lemmy

https://video.tedomum.net

Peertube video platform, forked from https://github.com/Chocobozzz/PeerTube

A LaTeX package providing commands to typeset lambda terms and such.