ekuiter

feature-configurator

Browser-based configurator for FeatureIDE feature models

variED

A collaborative, real-time feature model editor

moviz

Visualizes connections between movies using the IMDb

PCLocator

Locating presence conditions in variable software systems

bemuse

Automation for MuseScore

KeYPR

KeY for Proof Repositories

kmax-vm

Easy-to-use environment for Kmax

scion-android

SCION for Android

SlideTemplate

A beamer latex template for slides and lectures

uvr2web-spl

Überwache deine Heizungsregelung mit Arduino

virtual-choir

Singing together in times of Corona

clausy

clausify feature-model formulas 🎅

torte

feature-model experiments à la carte 🍰

axTLS

Mirror of the axTLS SVN repository up to release 2.0.0

ekuiter

feature-model-repository

A repository of feature models for Kconfig-based open-source projects

feature-model-repository-pipeline

Pipeline for building a repository of feature models for Kconfig-based open-source projects

FeatureIDE

An extensible framework for feature-oriented software development

featureide.github.io

An extensible framework for feature-oriented software development

fran-bow-sheet-music

Piano sheet music for the video game Fran Bow

KeYPl

KeY for Proof Plans

LaTeXUtils

Recurring commands and patterns I use across all my LaTeX documents.

linux

Mirror of Linux (including old versions >= 2.5.45 as orphaned tags)

music.elias-kuiter.de

Piano sheet music

pignap-case-study

Case study that demonstrates emerging variability in iterative embedded projects

SATGraf

Headless fork of SATGraf for visualizing SAT community structure

tseitin-or-not-tseitin

Docker-based automation scripts for investigating CNF transformations

variED-meta

Collaborative feature modeling resources

variED-NG

A collaborative, real-time feature model editor

www.elias-kuiter.de

My personal home page as of 2019