Программы prop-cc.sf.net

Prop - это язык, соответствующий шаблону, основанный на языке C. Он реализует алгебраические типы данных, сопоставление и переписывание шаблонов, а также генерирует код СЗ в качестве вывода.