isselab

Collection of datasets of agentic/vibe-coded software with embedded traceability annotations. Holds no content itself — submodule pointers to each dataset repo + governance docs (README, LICENSE, .gitmodules).

Resolve Kconfig dependency conflicts in the Linux kernel. Name the option you want and an integrated SAT solver works out what else has to change to make the configuration valid. Integrated into xconfig, with a CLI and DIMACS export.

FeatX: A lightweight ros2-based command line tool which extends feature models to support flexible feature binding. It provides a CLI, DSL and a configurator to manage the variability of robotic systems

Template for spinning up a new dataset repo (agentic/vibe-coded codebase + embedded traceability links). "Use this template" → new repo self-registers as submodule in agentic-trace-datasets via bootstrap Action, then stays synced via sync-submodule.yml.

When developing within the context of features, adding feature information to code artefacts helps understanding how features evolve. This Git Extension helps to track feature information on a per-commit basis