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

What it solves

Microsoft PROSE (Program Synthesis using Examples) automates the creation of code by generating programs based on input-output examples. It allows developers to build tools that can learn to perform data transformation or logic tasks by observing a few examples provided by the user.

How it works

The SDK provides a framework for defining Domain Specific Languages (DSLs). Developers use these DSLs to create synthesis solutions, where the system learns the underlying logic required to map inputs to outputs. The repository provides sample implementations, including tutorials on DSL authoring and specific use cases like resolving merge conflicts.

Who it’s for

This project is for developers and researchers interested in program synthesis, automated code generation, and building intelligent data-processing tools that learn from user-provided examples.

Highlights

  • Provides APIs for existing program synthesis tasks.
  • Includes a framework for authoring custom Domain Specific Languages (DSLs).
  • Offers practical samples for complex tasks like merge conflict resolution.
  • Features a dedicated tutorial for learning how to build synthesis solutions.

Related

  • Project
    joeseesun/qiaomu-design

    An opinionated Agent Skill that prevents AI-generated UIs from looking like generic templates by providing a visual direction selection process and strict professional design standards.

  • Project
    gylive/ccodex-sleep-state

    A local tool for Codex users to improve connection stability and response quality by managing proxy routing and injecting qualified turn-state values.

  • Project
    onevcat/Prowl

    A native macOS command center and terminal designed for running and coordinating multiple AI coding agents in parallel, featuring state tracking and multi-agent workflows.

  • Project
    CodeZeno/Claude-Code-Usage-Monitor

    A Windows taskbar widget that monitors usage limits and reset times for various AI coding assistants, including Claude Code, GitHub Copilot, and Cursor, by reading local session data.