FlashMeta: a framework for inductive program synthesis
FlashExtract: a framework for data extraction by examples