GitHub repository: klee-contrib/vertigo-chroma-kspplugin
Primary language: Java
Description: Plugin Eclipse pour améliorer l'expérience de développement Vertigo.