prop-cc. Prop Compiler Compiler is a an augmented C++ to C++ translator. Adding Alegebraic Data Types, pattern matching, rewriting, parser generator and lexer generator, amongst other augmentations.