Repositories list

• FeatJAR-formula

  Public
  Propositional and first-order formulas

  Java

  •

  GNU Lesser General Public License v3.0

  •2727 forks•33 stars•00 issues•33 pull requests•Updated Apr 8, 2026Apr 8, 2026

• FeatJAR-formula-analysis-sharpsat

  Public
  Analysis of propositional formulas using sharpSAT

  Java

  •

  GNU Lesser General Public License v3.0

  •44 forks•00 stars•00 issues•11 pull request•Updated Apr 8, 2026Apr 8, 2026

• FeatJAR-formula-analysis-javasmt

  Public
  Analysis of first-order formulas using JavaSMT

  Java

  •

  GNU Lesser General Public License v3.0

  •33 forks•00 stars•00 issues•11 pull request•Updated Apr 8, 2026Apr 8, 2026

• FeatJAR-uvl

  Public
  Universal Variability Language

  Java

  •

  GNU Lesser General Public License v3.0

  •44 forks•00 stars•33 issues•00 pull requests•Updated Apr 7, 2026Apr 7, 2026

• FeatJAR-formula-analysis-sat4j

  Public
  Analysis of propositional formulas using Sat4j

  Java

  •

  GNU Lesser General Public License v3.0

  •1313 forks•00 stars•33 issues•00 pull requests•Updated Apr 7, 2026Apr 7, 2026

• FeatureIDE

  Public
  An extensible framework for feature-oriented software development

  Java

  •

  GNU Lesser General Public License v3.0

  •100100 forks•141141 stars•127127 issues•00 pull requests•Updated Mar 12, 2026Mar 12, 2026

• featureide.github.io

  Public
  FeatureIDE website

  33 forks•00 stars•22 issues•00 pull requests•Updated Mar 12, 2026Mar 12, 2026

• FeatJAR-base

  Public
  Common utilities and data structures

  Java

  •

  GNU Lesser General Public License v3.0

  •88 forks•22 stars•00 issues•11 pull request•Updated Feb 28, 2026Feb 28, 2026

• FeatJAR-feature-model

  Public
  Feature models and configurations

  Java

  •

  GNU Lesser General Public License v3.0

  •1111 forks•00 stars•33 issues•44 pull requests•Updated Jan 21, 2026Jan 21, 2026

• FeatJAR-formula-analysis-cadical

  Public
  Java

  •

  GNU Lesser General Public License v3.0

  •11 fork•00 stars•00 issues•00 pull requests•Updated Jan 9, 2026Jan 9, 2026

• FeatJAR-feature-model-assistance

  Public
  Java

  •

  GNU Lesser General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 15, 2025Dec 15, 2025

• FeatJAR-formula-analysis-ddnnife

  Public
  Java

  •

  GNU Lesser General Public License v3.0

  •11 fork•00 stars•00 issues•00 pull requests•Updated Nov 21, 2025Nov 21, 2025

• FeatJAR-formula-analysis-kissat

  Public
  Java

  •

  GNU Lesser General Public License v3.0

  •11 fork•00 stars•00 issues•00 pull requests•Updated Nov 21, 2025Nov 21, 2025

• FeatJAR

  Public
  Java libraries for feature-oriented software development

  Shell

  •

  GNU Lesser General Public License v3.0

  •99 forks•33 stars•33 issues•00 pull requests•Updated Oct 10, 2025Oct 10, 2025

• FeatJAR-util-evaluation

  Public
  Utilities for reproducible evaluations

  Java

  •

  GNU Lesser General Public License v3.0

  •22 forks•00 stars•00 issues•00 pull requests•Updated Oct 10, 2025Oct 10, 2025

• FeatJAR-gui

  Public
  Java

  •

  GNU Lesser General Public License v3.0

  •44 forks•00 stars•00 issues•11 pull request•Updated Oct 10, 2025Oct 10, 2025

• FeatJAR-bin-ddnnife

  Public
  Java

  •

  GNU Lesser General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 19, 2024Jun 19, 2024

• FeatJAR-gradle-plugins

  Public
  Reusable Gradle plugins for build logic

  GNU Lesser General Public License v3.0

  •22 forks•00 stars•00 issues•00 pull requests•Updated May 31, 2024May 31, 2024

• FeatJAR-bin-sharpsat

  Public
  Native bindings for sharpSAT

  Java

  •

  GNU Lesser General Public License v3.0

  •11 fork•00 stars•00 issues•00 pull requests•Updated May 31, 2024May 31, 2024

• FeatJAR-bin-cadical

  Public
  Java

  •

  GNU Lesser General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 31, 2024May 31, 2024

• FeatJAR-bin-javasmt

  Public
  Native bindings for JavaSMT

  Java

  •

  GNU Lesser General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 31, 2024May 31, 2024

• FeatJAR-cli

  Public
  Command Line Interface

  Java

  •

  GNU Lesser General Public License v3.0

  •11 fork•00 stars•00 issues•00 pull requests•Updated Mar 9, 2023Mar 9, 2023

• FeatJAR-formula-analysis-sat4j-sharpsat

  Public
  Analysis of propositional formulas using Sat4j and sharpSAT

  Java

  •

  GNU Lesser General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 27, 2023Feb 27, 2023

• .github

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Aug 26, 2022Aug 26, 2022

• uvl-parser

  Public
  Parser for the universal variability language

  Clojure

  •

  MIT License

  •44 forks•00 stars•00 issues•00 pull requests•Updated Aug 17, 2022Aug 17, 2022

• sharpSAT

  Public
  The #SAT solver sharpSAT

  C++

  •2727 forks•00 stars•00 issues•00 pull requests•Updated Aug 15, 2022Aug 15, 2022

• fuji

  Public
  Fuji: An Extensible Compiler for Feature-Oriented Programming in Java

  Java

  •

  GNU Lesser General Public License v3.0

  •11 fork•00 stars•00 issues•00 pull requests•Updated Dec 14, 2016Dec 14, 2016

• Antenna

  Public
  Clone from antenna preprocessor

  Java

  •

  Other

  •11 fork•00 stars•00 issues•00 pull requests•Updated Nov 23, 2016Nov 23, 2016

• featurehouse

  Public
  language independent software composition and merging

  Java

  •2828 forks•22 stars•00 issues•00 pull requests•Updated Jun 6, 2016Jun 6, 2016