Elias Kuiter's repositories
torte
feature-model experiments à la carte 🍰
clausy
clausify feature-model formulas 🎅
SlideTemplate
A beamer latex template for slides and lectures
d4v2
A cross-platform version of the model counter d4
tseitin-or-not-tseitin
Docker-based automation scripts for investigating CNF transformations
uvr2web-spl
Überwache deine Heizungsregelung mit Arduino
variED-NG
A collaborative, real-time feature model editor
feature-configurator
Browser-based configurator for FeatureIDE feature models
feature-model-repository-pipeline
Pipeline for building a repository of feature models for Kconfig-based open-source projects
feature-model-repository
A repository of feature models for Kconfig-based open-source projects
SATGraf
Headless fork of SATGraf for visualizing SAT community structure
variED-meta
Collaborative feature modeling resources
music.elias-kuiter.de
Piano sheet music
featureide.github.io
An extensible framework for feature-oriented software development
axTLS
Mirror of the axTLS SVN repository up to release 2.0.0
FeatureIDE
An extensible framework for feature-oriented software development
KeYPl
KeY for Proof Plans
fran-bow-sheet-music
Piano sheet music for the video game Fran Bow
pignap-case-study
Case study that demonstrates emerging variability in iterative embedded projects
www.elias-kuiter.de
My personal home page as of 2019
virtual-choir
Singing together in times of Corona
scion-android
SCION for Android