• 2
• 1
• 0

Navigation./Lidl2Lus

A Compiler from LIDL(Lidl Interaction Description Language) to Lustre

• 1
• 0
• 0

Navigation./Lidl Eclipse Plugin

A Lidl Eclipse Plugin based on TMF (Xtext), providing basic IDE features for Lidl Interaction Description Language.

• 1
• 0
• 1

Navigation./BPMN2TA2

• 1
• 0
• 0

Navigation./LTLGenerator

• 1
• 0
• 0

Navigation./Shadow-Light