{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"coeffects-playground","owner":"coeffects","isFork":false,"description":"📝 Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":2,"starsCount":58,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-05-19T13:23:36.717Z"}},{"type":"Public","name":"coeffects-thesis","owner":"coeffects","isFork":false,"description":"📔 The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":26,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-04-10T17:26:29.053Z"}},{"type":"Public","name":"coeffects-playground-analytics","owner":"coeffects","isFork":false,"description":"📈 Analysing the data from coeffects playground","allTopics":[],"primaryLanguage":{"name":"F#","color":"#b845fc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-08-07T20:23:14.823Z"}},{"type":"Public","name":"coeffects-playground-logging","owner":"coeffects","isFork":false,"description":"💾 Web application for logging how users interact with the Coeffect playground","allTopics":[],"primaryLanguage":{"name":"F#","color":"#b845fc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-02-07T04:57:49.262Z"}}],"repositoryCount":4,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"coeffects repositories"}