λ² is a tool for synthesizing functional programs from input-output examples.
-
Updated
Feb 3, 2023 - OCaml
#
program-synthesis
Here are 7 public repositories matching this topic...
Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
-
Updated
Mar 12, 2021 - OCaml
Deductive synthesis and compilation of specialized databases.
-
Updated
Jul 18, 2023 - OCaml
Learning programs with the Exploration-Compression algorithm
-
Updated
May 17, 2018 - OCaml
Refactor programs to use library functions!
-
Updated
Jun 28, 2024 - OCaml
An enumerative synthesizer for recovering Excel formulas from CSVs.
-
Updated
Jun 19, 2020 - OCaml
Improve this page
Add a description, image, and links to the program-synthesis topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the program-synthesis topic, visit your repo's landing page and select "manage topics."