Elias Kuiter

feature-configurator. Browser-based configurator for FeatureIDE feature models

variED. A collaborative, real-time feature model editor

torte. reproducible feature-model experiments à la carte 🍰

uvr2web. [VERALTET] Überwache deine Heizungsregelung mit Arduino

feature-model-viz. Browser-based visualization for FeatureIDE feature models

moviz. Visualizes connections between movies using the IMDb

tikzpingurs. Random Penguins in LaTeX with TikZ

PCLocator. Locating presence conditions in variable software systems

feature-web. An integrated solution for feature-oriented programming

stm32-docs. Hy-Mini STM32 Docs

UnnamedOS. Hobby OS for IA-32

torte-busybox. Mirror of BusyBox that only includes files and commits related to its feature model (for use within torte)

variED-NG. A collaborative, real-time feature model editor

torte-linux. Mirror of Linux that includes old versions >= 2.5.45 as orphaned tags and supports case-insensitive file systems (for use within torte)

virtual-choir. Singing together in times of Corona

KeYPR. KeY for Proof Repositories

SlideTemplate. A beamer latex template for slides and lectures

kmax-vm. Easy-to-use environment for Kmax

SATGraf. Headless fork of SATGraf for visualizing SAT community structure

feature-schema. XML schemata for FeatureIDE feature models and configurations

clausy. clausify feature-model formulas 🎅

stm32-projects. Hy-Mini STM32 Projects

MIDIVisualizer. A small MIDI visualizer tool, using OpenGL

uvr2web-spl. Überwache deine Heizungsregelung mit Arduino

bemuse. Automation for MuseScore

scion-android. SCION for Android

led-midi-visualizer. Visualizing USB MIDI data in Arduino