Language workbench

functional and contractual programming language, with strong, dynamic and reflective typing, derived from Scheme

JetBrains Meta Programming System - a domain specific language design tool.