GitHub repository: slivingston/gr1c
Primary language: C
Description: a collection of tools for GR(1) synthesis and related activities