To clarify: Excel FlashFill uses an earlier version of this engine, with a similar but less advanced algorithm.
The current engine that powers strans (PROSE) can, for instance, solve the infamous "January" task without errors
And if you want a deeper dive after that, here's a 100-page survey of all the techniques, principles, and applications of program synthesis circa 2017:
You can donate:
http://helpeuromaidan.info/donate
This page has multiple links. Depending on your opinions on Maidan, you can support logistical needs, paramedics, or media.