* Add an example project * Fix credo/ebert issues * Re-run formatter * add vector products to example, capitalize Thrift, change divide matching