Test repository to run Docker via the {LXC, Docker} backend
Updated 2023-02-06 08:20:33 +00:00
WebRTC for desktop platforms running Java
Updated 2023-11-28 12:52:21 +00:00
The website vault (vault.bitwarden.com).
Updated 2020-03-24 15:26:50 +00:00
binary releases of VS Code without MS branding/telemetry/licensing
Updated 2024-02-03 17:19:42 +00:00
Header files for the uc library
Updated 2015-12-30 20:09:43 +00:00
Holds the resources of the Central Server-App for the Wide-Sensor-Network Task of the CPPP
Updated 2022-01-04 16:41:13 +00:00
A minimal library for the LCD- and slider-enhanced evaluation boards SK-16FX-EUROscope
Updated 2016-01-03 16:43:40 +00:00
ToCoCo: A framework for the testbed-based implementation and evaluation of topology control algorithms
Updated 2018-12-07 07:08:42 +00:00
Template für Abschlussarbeiten
Updated 2024-04-12 08:34:15 +00:00
This repository contains prototype implementations for incorporating weak/hard constraints during consistency restoration
Updated 2024-04-05 11:26:51 +00:00
TChecker is an open-source verification tool for timed automata
Updated 2024-04-29 17:07:57 +00:00
Updated 2021-09-22 15:39:11 +00:00
Synapse: Matrix reference homeserver
Updated 2023-07-04 15:07:48 +00:00
Your own link shortener that's easily deployed as a static site (for free)
Updated 2023-03-19 09:40:47 +00:00
Updated 2021-01-18 13:10:58 +00:00
Optimal Reconfiguration of Dynamic Software Product Lines Based on Performance-Influence Models
Updated 2018-05-28 08:07:04 +00:00
Updated 2017-09-21 18:51:45 +00:00
eMoflon SmartEMF implementation. Transfered to https://github.com/eMoflon/emoflon-core.
Updated 2022-02-04 22:40:22 +00:00
Proxy implementation of MSC3575's sync protocol.
Updated 2024-01-22 12:12:08 +00:00
Templates for student presentations
Updated 2024-04-04 16:48:08 +00:00