dimelab

Welcome to dimelab! We offer software, systems, and services for knowledge engineering, model-driven development, and synthesis of formal languages.

We are dedicated to enhancing the expressivity of researchers, designers, and especially programmers and thereby shrinking the gap between talk and action.