synox (cargo): Program synthesis of string transformations from input-output examples.
Keywords: program-synthesis