Program menurut prop-cc.sf.net

Prop adalah bahasa yang cocok dengan pola berdasarkan C++. Ini mengimplementasikan tipe data aljabar, pencocokan pola dan penulisan ulang, dan menghasilkan kode C++ sebagai output.