GitHub repository: ku-progsys/rbsyn
Primary language: Ruby
Description: Program synthesis for Ruby