GitHub repository: yurusanP/semgus-tools
Primary language: Kotlin
Description: A usable SemGuS-to-Sketch transpiler with some related utilities. Its first prototype was created in a research course project @ UW-Madison CS 704 Spring 22.