GitHub repository: sano-jin/lambda-gt-playground
Primary language: JavaScript
Description: A playground of the Lambda GT language.