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 and sample data for the Microsoft PROSE SDK.
The samples are split into three categories:
- Data wrangling samples in WranglingSamples.sln. This sample shows how to use the PROSE
Data Wrangling API. - Program synthesis samples in ProseSamples.sln. This sample shows how to instantiate the
framework to build a synthesizer for a new DSL. - PROSE DSL authoring Tutorial in DslAuthoringTutorial. This sample demonstrates in a
step-by-step manner how to instantiate the framework to build a synthesizer for a new DSL. It is mainly used
during PROSE workshops.
Find guides for these sample projects here: https://microsoft.github.io/prose/
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.