shack/synth

Synthesis of loop-free programs

GitHub repository with 24 stars and 7 forks.

Language: Slash

Open provider repository