Popular repositories Loading

1. iml iml Public

   IML (Intermediate Modeling Language) is a formal, expressive, and flexible language that designed to close the gap between design domain and formal verification tools.

   Xtend 3

2. iml-generators iml-generators Public

   Java 1