GitHub repository: metareflection/synthesis-class
Primary language: Scheme
Description: CS252R Advanced Topics in Programming Languages (Fall 2023)