https://github.com/lilithhafner/hazelnut
https://github.com/lilithhafner/hazelnut
Last synced: 2 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/lilithhafner/hazelnut
- Owner: LilithHafner
- Created: 2020-06-15T15:47:37.000Z (almost 5 years ago)
- Default Branch: master
- Last Pushed: 2024-04-16T12:39:49.000Z (about 1 year ago)
- Last Synced: 2025-01-21T04:41:26.751Z (4 months ago)
- Language: Reason
- Size: 980 KB
- Stars: 0
- Watchers: 4
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
Implementation of the Smyth program synthesis system in ReasonML. The goal is to integrate the synthesis engine into the Hazel live editing environment,
utilizing the live evaluation to make for a smoother synthesis experience.
# Read all about the Smyth synthesis engine here:
https://arxiv.org/pdf/1911.00583.pdf