An implementation of the lambda Pi calculus modulo theory on top of Common Lisp.

Our kubernetes cluster configuration

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

Developing a mobile app for android presents an appealing option due to its appeal and reach to a vast audience. CyberWorx Technologies is a leading provider of Android App Development Services in Delhi that builds robust apps. https://www.cyberworx.in/mobile-apps-designing-and-development.php

Documentation publique du projet et configuration des serveurs

Our specific helm charts

LEST is the Lynx sErver SuiTe, a collection of tools used to administrate a particular server named lynx.

A re(re)write of K2XL psychopath puzzle game.

Element (ex-Riot) Web client, forked from https://github.com/vector-im/element-web.git

Site services.siick.fr

https://mail.tedomum.net

Mailu, forked from https://github.com/mailu/mailu

Site web de l'association Onirik

https://blogs.tedomum.net

Wordpress, forked from https://github.com/WordPress/WordPress

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