Small-Step Live Programming by Example

SnipPy is an implementation of Small-Step Live Programming By Example, combining Live Programming (using Projection Boxes) with Programming by Example (using Bottom-up Enumerative Synthesis).

If you want to learn more, you can read about SnipPy in our paper, and watch the talk at UIST 2020. If you're curious about Projection Boxes specifically, you can read about them here.

The project source code is publicly available on GitHub and you can try it out in right now in any browser (except Safari) here. Finally if you have any questions or would like to contribute, you can email me or make a pull-request.

[Try SnipPy!] [Paper] [Video] [Source Code] [Projection Boxes]