GitHub repository: plum-umd/java-sketch
Primary language: Java
Description: a Java front-end for Sketch synthesis tool