sketch-editor

Dockerized editor for the sketch project¹ from A. Solar-Lezama with a small webserver interface.

• https://github.com/asolarlez/sketch-backend
• https://github.com/asolarlez/sketch-frontend

Setup (Docker)

Run the docker container

docker run --rm -p 8080:8080 ghcr.io/dominikgeissler/sketch-editor:latest

Setup (Docker, locally)

Build

docker build . -t sketch-editor

or in VSCode Ctrl + Shift + P -> Run task -> Docker Build

Run

docker run -p 8080:8080 -d sketch-editor

or in VSCode Ctrl + Shift + P -> Run task -> Docker Run

Benchmarks

Some experiments and their benchmarks can be found in the benchmarks directory.

Documentation

Documentation can be found here. Notices can be found here.

Footnotes

1. Program Sketching, A . Solar-Lezama, International Journal on Software Tools for Technology Transfer 15, 475 - 495 (2013) ↩