https://github.com/jfeser/l2
λ² is a tool for synthesizing functional programs from input-output examples.
https://github.com/jfeser/l2
program-synthesis
Last synced: 6 months ago
JSON representation
λ² is a tool for synthesizing functional programs from input-output examples.
- Host: GitHub
- URL: https://github.com/jfeser/l2
- Owner: jfeser
- License: apache-2.0
- Created: 2016-05-11T00:59:55.000Z (almost 10 years ago)
- Default Branch: master
- Last Pushed: 2023-02-03T22:06:57.000Z (about 3 years ago)
- Last Synced: 2023-03-22T10:41:54.756Z (almost 3 years ago)
- Topics: program-synthesis
- Language: OCaml
- Homepage:
- Size: 7.15 MB
- Stars: 61
- Watchers: 6
- Forks: 7
- Open Issues: 0