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?
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?
Visual Studio Code on Linux
How do I restore NuGet packages for a PROSE solution (a sample or a
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
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.