prose

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.

Libraries & SDKs

Explore on GitHub Read Hacker News discussions

5Distinct people

5Mentions

0Explicit recommenders

666GitHub stars

REPOSITORY AT A GLANCE

What to know before exploring

What it is

GitHub

Where it is used

No documented product use has been verified yet.

What people are saying

No recommendation phrase was found in the indexed comments.

No classified warning is attached to this page. Read the discussions before treating silence as approval.

Also in these discussions

No other repository is repeatedly linked in the same discussions.

This week on Hacker News

Nov 7–Nov 14 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/14/2026, 12:54:37 PM UTC.

No direct repository links were found in the indexed HN discussions over the past seven days. Older discussions are available below.

Mentions over time

HN mentions by year5 dated mentions

Observed mentions: 2017-09-26 08:25:03 UTC to 2021-09-19 21:30:10 UTC.

Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.

View mention counts and date ranges

UTC ranges include their start and exclude their end. Select a period to filter the source evidence.
Period	Start (UTC)	End (exclusive, UTC)	Mentions	Submissions	Comments
2017	2017-01-01 00:00:00 UTC	2018-01-01 00:00:00 UTC	1	0	1
2018	2018-01-01 00:00:00 UTC	2019-01-01 00:00:00 UTC	0	0	0
2019	2019-01-01 00:00:00 UTC	2020-01-01 00:00:00 UTC	0	0	0
2020	2020-01-01 00:00:00 UTC	2021-01-01 00:00:00 UTC	0	0	0
2021	2021-01-01 00:00:00 UTC	2022-01-01 00:00:00 UTC	4	1	3

What Hacker News says

5 sources

sumitgulwani·Sep 19, 2021

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 than Flash Fill. If you happen to try this out, we'd be very interested in getting your feedback on whether this is powerful enough to handle your use cases, and if not, we would love to be inspired by your use cases for a future version of this technology. You may reach us at prose-contact@microsoft.com.

In Story of the Flash Fill Feature in Excel

archibaldJ·Aug 9, 2021

Thanks for the detailed break-down and the links!! > which are pretty much always mathematically uninteresting), then...absolutely! SAT/SMT are at the core of constraint-based synthesis. Wow this is super cool to know! > http://www.pathsensitive.com/2021/03/why-programmers-shouldn... This would definitely help to kickstart my journey in program synthesis:) > "egg: Fast and Flexible Equality Saturation"... It uses code trees, which I read about a few months earlier in the Handbook of Automated Reasoning > http://cubix-framework.com/ > https://egraphs-good.github.io/ > https://people.csail.mit.edu/asolar/ > https://github.com/microsoft/prose These stuff are super cool! Really appreaciate it!

In Introduction To Program Synthesis (2018)

Darmani·Aug 8, 2021

> Would knowledge in automated theorem proving (e.g. knowing how coq works) be somehow transferable to research in this field? Possibly. First, Coq is not an automated theorem proving tool; it's an interactive theorem prover. If by automated theorem proving, you're thinking of a tool like Z3 or CVC4 which find models of statements in a decidable theory (which are pretty much always mathematically uninteresting), then...absolutely! SAT/SMT are at the core of constraint-based synthesis. Heck, CVC4 has a SyGuS mode that won the synthesis competition one year. If you're referring to actually searching for interesting theorems, as done by tools like Vampire and Otter, then probably not. Last month, I was discussing the matching algorithm used in the paper "egg: Fast and Flexible Equality Saturation" with a collaborator. It uses code trees, whi

Read the rest

ch I read about a few months earlier in the Handbook of Automated Reasoning. It stands out because I had pretty much never encountered a mention of any of that stuff in the preceding several years. I touch on this slightly in this blog post, about the benefits of learning Coq towards synthesis: http://www.pathsensitive.com/2021/03/why-programmers-shouldn... . (And the benefits I mention are in understanding the type theory, not the innards.) > What are some existing open-source 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 searched for a few others, but they're either tools rather than frameworks, not directly synthesis, or I couldn't find a download. Though I may as well plug my own Cubix framework: http://cubix-framework.com/ > Thanks! I'm super curious about this field and it's somewhat related to what I'm working on so I'm pretty interested to learn more! Awesome! I hope to see great things coming from you.

In Introduction To Program Synthesis (2018)

breck·Feb 8, 2021Submission

Microsoft Program Synthesis Using Examples

2 points · Open discussion

msalvaris·Sep 26, 2017

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

In Announcing tools for the AI-driven digital transformation