GitHub repository: silky/myth
Primary language: OCaml
Description: Type-and-example-driven program synthesis for functional programming languages