Hacker GitHub

← All repos

microsoft/prose

View on GitHub ↗ ★ 666 C#

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.

5 mentions on Hacker News by 5 people: 1 story, 4 comments · first 2017-09-26 · latest 2021-09-19

Mentions per year 5 mentions · busiest year 2021 (4)
20082026
  1. Our program synthesis APIs are available publicly, but for non-commercial use only. < https://github.com/microsoft/prose > You want to look for API samples corresponding to Transformation.Text capability. This is a more powerful capability…
    comment by sumitgulwani · 2021-09-19 · in Story of the Flash Fill Feature in Excel
  2. …> https://egraphs-good.github.io/ > https://people.csail.mit.edu/asolar/ > https://github.com/microsoft/prose These stuff are super cool! Really appreaciate it!
    comment by archibaldJ · 2021-08-09 · in Introduction To Program Synthesis (2018)
  3. …program synthesis libraries/frameworks where we can tinker around and maybe make something with it? https://github.com/microsoft/prose Sketch: Download and manual from https://people.csail.mit.edu/asolar/ https://egraphs-good.github.io/ I…
    comment by Darmani · 2021-08-08 · in Introduction To Program Synthesis (2018)
  4. ▲ 2
    Microsoft Program Synthesis Using Examples
    story by breck · 2021-02-08 · 0 comments
  5. Here is a link to the PROSE SDK on Github https://github.com/Microsoft/prose This will probably be more illuminating than the quoted sentence. :)