• 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