Tptpp is a project mainly written in C++ and PROLOG, based on the View license.

Powder Toy Rewrite in C++