isselab

HAnS - Helping Annotate Software. HAnS is an open-source (Apache 2.0) plugin for IntelliJ that helps you annotate software.

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.