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