Programas por prop-cc.sf.net

Prop é uma linguagem padrão que combina com base em C++. Implementa tipos de dados algébricos, correspondência de padrões e reescrita, e gera código C++ como saída.