FICHA · AUR
sketchsynth
A software synthesis tool for developing implementations from sketches
- program synthesis CLI
- CLI
- Dev
- Launchable
- Runs in terminal
· official+codex · reviewed · Jun 4, 2026 description in en
Program implementations can be synthesized from partial sketches with a Java-backed research tool. This package is useful for developers and researchers experimenting with sketch-based program synthesis. Generated code should be reviewed like any other automated output before use.
How to run
sketchsynth
Commands: sketchsynth
Permissions
Permissions not analysed for this source yet.