Serkr. An automated theorem prover for first order logic.
Hakkapeliitta. A state of the art chess engine written in C++11
