ekuiter

feature-configurator

Browser-based configurator for FeatureIDE feature models

variED

A collaborative, real-time feature model editor

tikzpingurs

Random Penguins in LaTeX with TikZ

torte

reproducible feature-model experiments à la carte 🍰

bemuse

Automation for MuseScore

busybox

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

KeYPR

KeY for Proof Repositories

kmax-vm

Easy-to-use environment for Kmax

linux

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

SlideTemplate

A beamer latex template for slides and lectures

uvr2web-spl

Überwache deine Heizungsregelung mit Arduino

variED-NG

A collaborative, real-time feature model editor

clausy

clausify feature-model formulas 🎅

axTLS

Mirror of the axTLS SVN repository up to release 2.0.0

d4v2

A cross-platform version of the model counter d4

ekuiter

FancyBeamer

A beamer presentation template for easy animations

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

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

talon_german

German Dictation Mode for Talon Voice

torte-research

tseitin-or-not-tseitin

Docker-based automation scripts for investigating CNF transformations

variED-meta

Collaborative feature modeling resources