Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the Microsoft Program Synthesis using Example SDK.
C# HTML
Switch branches/tags
Nothing to show
Clone or download
simmdan
Latest commit 72b5e03 Jun 26, 2018

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 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.