Skip to content
Change the repository type filter

All

    Repositories list

    • Java
      0000Updated Dec 15, 2025Dec 15, 2025
    • Propositional and first-order formulas
      Java
      27303Updated Nov 27, 2025Nov 27, 2025
    • FeatJAR-feature-model

      Public
      Feature models and configurations
      Java
      11034Updated Nov 27, 2025Nov 27, 2025
    • Common utilities and data structures
      Java
      8201Updated Nov 27, 2025Nov 27, 2025
    • Universal Variability Language
      Java
      3030Updated Nov 21, 2025Nov 21, 2025
    • Java
      1000Updated Nov 21, 2025Nov 21, 2025
    • Java
      1001Updated Nov 21, 2025Nov 21, 2025
    • Analysis of propositional formulas using Sat4j
      Java
      12030Updated Nov 21, 2025Nov 21, 2025
    • Java
      1000Updated Nov 21, 2025Nov 21, 2025
    • featureide.github.io

      Public
      FeatureIDE website
      3020Updated Nov 7, 2025Nov 7, 2025
    • An extensible framework for feature-oriented software development
      Java
      1011381300Updated Nov 6, 2025Nov 6, 2025
    • FeatJAR

      Public
      Java libraries for feature-oriented software development
      Shell
      8320Updated Oct 10, 2025Oct 10, 2025
    • Analysis of propositional formulas using sharpSAT
      Java
      4001Updated Oct 10, 2025Oct 10, 2025
    • Analysis of first-order formulas using JavaSMT
      Java
      3001Updated Oct 10, 2025Oct 10, 2025
    • Utilities for reproducible evaluations
      Java
      2000Updated Oct 10, 2025Oct 10, 2025
    • Java
      4001Updated Oct 10, 2025Oct 10, 2025
    • Java
      0000Updated Jun 19, 2024Jun 19, 2024
    • Reusable Gradle plugins for build logic
      2000Updated May 31, 2024May 31, 2024
    • Native bindings for sharpSAT
      Java
      1000Updated May 31, 2024May 31, 2024
    • Java
      0000Updated May 31, 2024May 31, 2024
    • Native bindings for JavaSMT
      Java
      0000Updated May 31, 2024May 31, 2024
    • Command Line Interface
      Java
      1000Updated Mar 9, 2023Mar 9, 2023
    • Analysis of propositional formulas using Sat4j and sharpSAT
      Java
      0000Updated Feb 27, 2023Feb 27, 2023
    • .github

      Public
      0000Updated Aug 26, 2022Aug 26, 2022
    • Parser for the universal variability language
      Clojure
      4000Updated Aug 17, 2022Aug 17, 2022
    • sharpSAT

      Public
      The #SAT solver sharpSAT
      C++
      27000Updated Aug 15, 2022Aug 15, 2022
    • fuji

      Public
      Fuji: An Extensible Compiler for Feature-Oriented Programming in Java
      Java
      1000Updated Dec 14, 2016Dec 14, 2016
    • Antenna

      Public
      Clone from antenna preprocessor
      Java
      1000Updated Nov 23, 2016Nov 23, 2016
    • language independent software composition and merging
      Java
      28200Updated Jun 6, 2016Jun 6, 2016