GitHub repository: Fraction2/Skopos
Description: Σκοπός: KSP contracts that specify goals, and leave mission design to the player.