Elias Kuiter (ekuiter)

ekuiter

User data from Github https://github.com/ekuiter

Company:University of Magdeburg

Location:Magdeburg, Germany

Home Page:elias-kuiter.de

GitHub:@ekuiter

Twitter:@ekuiter


Organizations
FeatureIDE
SoftVarE-Group
TUBS-ISF

Elias Kuiter's repositories

feature-configurator

Browser-based configurator for FeatureIDE feature models

Language:JavaScriptLicense:LGPL-3.0Stargazers:10Issues:2Issues:1

variED

A collaborative, real-time feature model editor

Language:TypeScriptLicense:LGPL-3.0Stargazers:10Issues:4Issues:38

tikzpingurs

Random Penguins in LaTeX with TikZ

Language:ShellLicense:GPL-3.0Stargazers:3Issues:0Issues:0

torte

reproducible feature-model experiments à la carte 🍰

Language:ShellLicense:LGPL-3.0Stargazers:2Issues:2Issues:3

bemuse

Automation for MuseScore

Language:ShellStargazers:1Issues:2Issues:0

busybox

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

Language:CStargazers:1Issues:0Issues:0

KeYPR

KeY for Proof Repositories

Language:JavaLicense:LGPL-3.0Stargazers:1Issues:2Issues:0

kmax-vm

Easy-to-use environment for Kmax

Language:ShellStargazers:1Issues:3Issues:0

linux

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

Language:CLicense:NOASSERTIONStargazers:1Issues:1Issues:0

SlideTemplate

A beamer latex template for slides and lectures

Language:TeXLicense:CC0-1.0Stargazers:1Issues:1Issues:0

uvr2web-spl

Überwache deine Heizungsregelung mit Arduino

Language:PHPLicense:LGPL-3.0Stargazers:1Issues:2Issues:0

variED-NG

A collaborative, real-time feature model editor

Language:TypeScriptLicense:LGPL-3.0Stargazers:1Issues:2Issues:0

clausy

clausify feature-model formulas 🎅

Language:RustLicense:LGPL-3.0Stargazers:0Issues:3Issues:1

axTLS

Mirror of the axTLS SVN repository up to release 2.0.0

Language:CStargazers:0Issues:3Issues:0

d4v2

A cross-platform version of the model counter d4

Language:C++License:LGPL-2.1Stargazers:0Issues:0Issues:0
Language:TeXStargazers:0Issues:2Issues:0

FancyBeamer

A beamer presentation template for easy animations

Language:TeXLicense:CC0-1.0Stargazers:0Issues:0Issues:0

feature-model-repository

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

Stargazers:0Issues:2Issues:0

feature-model-repository-pipeline

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

Language:CLicense:LGPL-3.0Stargazers:0Issues:2Issues:0

FeatureIDE

An extensible framework for feature-oriented software development

Language:JavaLicense:LGPL-3.0Stargazers:0Issues:1Issues:0

featureide.github.io

An extensible framework for feature-oriented software development

Stargazers:0Issues:1Issues:0

fran-bow-sheet-music

Piano sheet music for the video game Fran Bow

Language:ShellStargazers:0Issues:2Issues:2

KeYPl

KeY for Proof Plans

Language:JavaLicense:LGPL-3.0Stargazers:0Issues:2Issues:0

music.elias-kuiter.de

Piano sheet music

Language:SCSSStargazers:0Issues:2Issues:0

pignap-case-study

Case study that demonstrates emerging variability in iterative embedded projects

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

SATGraf

Headless fork of SATGraf for visualizing SAT community structure

Language:JavaLicense:MITStargazers:0Issues:2Issues:0

talon_german

German Dictation Mode for Talon Voice

Language:PythonLicense:MITStargazers:0Issues:0Issues:0
Language:ShellStargazers:0Issues:0Issues:0

tseitin-or-not-tseitin

Docker-based automation scripts for investigating CNF transformations

Language:CLicense:LGPL-3.0Stargazers:0Issues:4Issues:0

variED-meta

Collaborative feature modeling resources

Stargazers:0Issues:2Issues:0