25706e826a
@simmdan I fixed it once but looks like it was reverted back. Please let me know where should I update it to make it persistent. |
||
---|---|---|
api-samples | ||
dsl-samples | ||
misc | ||
release-notes | ||
.gitignore | ||
CODE_OF_CONDUCT.md | ||
Directory.Build.props | ||
Directory.Build.targets | ||
Dockerfile | ||
LICENSE | ||
README.md | ||
SECURITY.md | ||
SUPPORT.md |
README.md
Microsoft Program Synthesis using Examples SDK
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:
- Samples for using existing PROSE DSL APIs to accomplish tasks in api-samples/api-samples.sln.
- Samples for creating program synthesis solutions using the PROSE SDK by authoring a DSL in the dsl-samples directory:
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
This project has adopted the Microsoft Open Source Code of Conduct. For more information see the Code of Conduct FAQ or contact opencode@microsoft.com with any additional questions or comments.