General questions

How do I use it?

The SDK is used through .NET APIs. See the tutorial for how to get started and the documentation links on the sidebar for more details.

How do I install it?

Install the Microsoft.ProgramSynthesis and (optionally) Microsoft.ProgramSynthesis.Compiler NuGet packages in Visual Studio.

You can also generate a template DSL project by running

npm install -g yo
npm install -g generator-prose
yo prose

Is it cross-platform?

Yes, PROSE SDK is supported on Windows, Linux, and macOS. Currently, the package is guaranteed to work on .NET 4.5+ and .NET Core.

Where can I use it?

The SDK is released under a non-commercial license for use in research, education, and non-commercial applications. See the license for details.

Where can I find sample code?

Our samples are located in the PROSE GitHub repository.

How can I contact you if I have any questions or feedback?

If you run into any bugs or issues, please open an issue in our GitHub repository. Feel free also to email us.

Visual Studio Code on Linux

How do I restore NuGet packages for a PROSE solution (a sample or a yo-generated template)?

sudo apt install mono-complete nuget
sudo nuget update -self
nuget restore YourSolution.sln

How do I build a solution in VS Code?

Press Ctrl+Shift+P and configure a task runner. Pick the msbuild task. In the generated tasks.json, replace msbuild with xbuild.

When I try to run xbuild on my yo-generated solution, it fails with an error about @(AssemblyPaths -> Replace('/', '/')).

As it turns out, xbuild does not support the entirety of the msbuild language. This means that you won’t be able to recompile your grammar automatically on each build out of the box. We are working on fixing this. In the meantime, please regenerate your solution with yo prose but answer “No” to the last question.

How do I launch a program or debug it in VS Code?

Install the mono-debug extension for VS Code and follow the instructions on its webpage.