Elias Kuiter's Projects
Userscripts fΓΌr All-Inkl Webmail
Mirror of the axTLS SVN repository up to release 2.0.0
[SOLVED] Bazel fails to compile a minimal Go example to Android.
Automation for MuseScore
A media downloader written in C++
clausify feature-model formulas π
Ebersuche Weser-Ems for PHP
[DEPRECATED] Administrator backend for elias-kuiter.de
[DEPRECATED] Public frontend for elias-kuiter.de
[DEPRECATED] Logo for elias-kuiter.de
[DEPRECATED] Code for elias-kuiter.de shared by frontend and backend
Browser-based configurator for FeatureIDE feature models
A repository of feature models for Kconfig-based open-source projects
Pipeline for building a repository of feature models for Kconfig-based open-source projects
Browser-based visualization for FeatureIDE feature models
Feature-oriented programming with PHP and FeatureIDE
XML schemata for FeatureIDE feature models and configurations
An integrated solution for feature-oriented programming
An extensible framework for feature-oriented software development
An extensible framework for feature-oriented software development
Piano sheet music for the video game Fran Bow
i586-elf-gcc crosscompiler for Homebrew
Information Retrieval axiom SELection
(De)activate your All-Inkl cronjobs automatically
[DEPRECATED] All-Inkl.com API for PHP - manage your All-Inkl account with PHP
Fully Abstract Operation Contracts with KeY 2.1
KeY for Proof Plans
KeY for Proof Repositories
Easy-to-use environment for Kmax