Münster DiStributed Test Case Runner for Java

A service that analyzes docker images and scans for vulnerabilities

An arduino sketch, that blinks 10 LEDs - In celebration of JanE's doctorate!

Prototype for a docker based workflow management system

Xiaomi Smart Home Device Reverse Engineering and Hacking

Style and Grammar Checker for 25+ Languages

The Essential Moodle Theme

Mirror of the release branches for Tezos, a self-amending cryptographic ledger

A micro-benchmark suite to assess the stability of taint-analysis tools for Android

Arduino lib to operate 433/315Mhz devices like power outlet sockets.

Tellcheap is the economical way to switch your lights on and off

INACTIVE: A simple docker client for the JVM

Based on a true story

A Ruby script that extracts ASS subtitles from MKV containers and converts them to SRT subtitles

Simple, resilient multi-host containers networking and more.

Git auf deutsch

Microsoft OneDrive client on Linux.

Repository for the ERCIS Beamer Template

Open source clone of Theme Hospital

Linux kernel source tree

Examples for the usage of LaTeX

An IDE for ACL2

Java Concolic Unit Testing Engine

Python Exploration with Z3

Implementation of a TextView and all its direct/indirect subclasses with native support for the Roboto fonts, includes the brand new Roboto Slab fonts.

Android Asynchronous Networking and Image Loading

A private messenger for Android.

Chrome apps on Android and iOS

💀 The former home of Homebrew/homebrew (deprecated)