GitHub repository: victornicolet/Synduce
Primary language: OCaml
Description: An automatic recursive function transformer.