Docker image to install applications into a GitLab-connected cluster (alpha)

Interpolation library written in C

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

The Network Time Protocol suite, refactored

Script to keep lists of external hosts sources up to date in a raw domain.tld format for easier manipulating date from external sources

clone of https://github.com/qmk/qmk_firmware.git

Pharmille api service

📱The Android client for Nextcloud. Easily work with your data on your Nextcloud.

a python web application as successor of camporganizer

Simple Python API for TelegramBot

Common code that is used everywhere as a submodule.

Three headers library that has some utility functions for RDI projects.