Repositories list

• Vatras

  Public
  Agda Library to Study the Expressive Power of Languages for Static Variability

  compilerproofssoftware-product-lines+ 2

  compilerproofssoftware-product-linesexpressivenessvariability-modeling

  Agda

  •

  GNU Lesser General Public License v3.0

  •00 forks•1313 stars•66 issues•22 pull requests•Updated Apr 17, 2026Apr 17, 2026

• VEVOS_Simulation

  Public
  VEVOS' Simulation module. This project is meant to be used a library for generating variants based on an SPL

  Java

  •

  GNU Lesser General Public License v3.0

  •00 forks•00 stars•11 issue•11 pull request•Updated Apr 15, 2026Apr 15, 2026

• DiffDetective

  Public
  Library for Variability-Aware Differencing and the Analysis of Edits to Preprocessor-Based Software Product Lines

  variability-analysisdiffingsoftware-evolution+ 4

  variability-analysisdiffingsoftware-evolutionrepository-miningsoftware-product-linesdifferencingvariability

  Java

  •

  GNU Lesser General Public License v3.0

  •77 forks•99 stars•66 issues•22 pull requests•Updated Apr 14, 2026Apr 14, 2026

• patching-with-matching-eval

  Public
  Evaluation setup for Patching with Matching

  C

  •

  Apache License 2.0

  •00 forks•22 stars•00 issues•00 pull requests•Updated Jan 13, 2026Jan 13, 2026

• Functjonal

  Public
  Library of Patterns for Functional Programming in Java

  javafunctional-programming

  javafunctional-programming

  Java

  •

  GNU Lesser General Public License v3.0

  •22 forks•11 star•00 issues•11 pull request•Updated Sep 4, 2025Sep 4, 2025

• mpatch

  Public
  A patching tool and library

  Rust

  •

  Apache License 2.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Aug 7, 2025Aug 7, 2025

• FeatureTraceRecording

  Public
  Feature Trace Recording in Haskell

  software-evolutionfeature-locationsoftware-product-lines+ 3

  software-evolutionfeature-locationsoftware-product-linesfeature-traceabilityclone-and-ownvariability-mining

  Haskell

  •

  GNU Lesser General Public License v3.0

  •00 forks•55 stars•00 issues•00 pull requests•Updated Jun 6, 2025Jun 6, 2025

• RaQuN

  Public
  Artifact for Scalable N-Way Model Matching Using Multi-Dimensional Search Trees (MODELS 2021 & SoSyM Special Issue)

  Java

  •

  Other

  •22 forks•33 stars•00 issues•00 pull requests•Updated May 21, 2025May 21, 2025

• trace-boosting

  Public
  Library which adds proactively provided feature traces to heuristic comparison-based feature tracing

  Java

  •

  GNU Lesser General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 5, 2025May 5, 2025

• DiffDetective-Demo

  Public
  Demo of DiffDetective

  diffingsoftware-evolutionvariability

  diffingsoftware-evolutionvariability

  Nix

  •

  GNU Lesser General Public License v3.0

  •11 fork•11 star•00 issues•00 pull requests•Updated Feb 10, 2025Feb 10, 2025

• TrueDiffDetective

  Public
  Extension for DiffDetective to Integrate the TrueDiff Algorithm

  Scala

  •00 forks•44 stars•11 issue•00 pull requests•Updated Feb 10, 2025Feb 10, 2025

• trace-boosting-eval

  Public
  Java

  •

  GNU Lesser General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 1, 2024Jul 1, 2024

• VEVOS_Extraction

  Public
  VEVOS' extraction module. This project uses DiffDetective to extract a ground truth for C preprocessor-based SPLs.

  Java

  •

  GNU Lesser General Public License v3.0

  •00 forks•00 stars•00 issues•11 pull request•Updated Feb 23, 2024Feb 23, 2024

• SyncStudy

  Public
  Artifact for our ICSME'22 Paper "Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own"

  Java

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 18, 2023Jul 18, 2023