yt-dlp fork with some more features

https://data.tedomum.net

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

Friendly proof assistant

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.

Example Hugo site using GitLab Pages: https://pages.gitlab.io/hugo

Single-binary implementation of hepto

Documentation publique du projet et configuration des serveurs

https://matrix.tedomum.net

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