Collaboro
Collaboro makes language development processes more participative: both developers and users of the language can collaborate together to create and evolve it.
PADRE
Performance-driven softwAre moDel Refactoring framEwork (PADRE)
RCRS
RCRS (the Refinement Calculus of Reactive Systems) is a compositional reasoning framework