The Program Synthesis using Examples (PROSE) SDK includes a set of technologies for the automatic generation of programs from input-output examples. This repo includes samples, release notes, and some other miscellaneous projects related to the Microsoft PROSE SDK.
The samples are split into two categories:
You can find guides for some of these sample projects and other information about the PROSE project here: https://microsoft.github.io/prose/
Optionally, you can get started quickly using Docker:
git clone https://github.com/microsoft/prose.git cd prose docker build -t prose-samples . docker run -it --rm -v "$(pwd):/opt/prose-samples" -w "/opt/prose-samples" prose-samples bash # Inside the Docker container cd dsl-samples/ProseSample/ProseSample # ... or the directory for any other sample project dotnet run # run the sample in the current directory