{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"wavelength-ide","owner":"wavelength-ide","isFork":false,"description":"A browser-based IDE for the untyped lambda calculus. Try it:","allTopics":["programming","ide","mathematics","learning-by-doing","theoretical-computer-science","paradigms","lambda-calculus"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":5,"starsCount":6,"forksCount":3,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-04-08T11:43:54.389Z"}}],"repositoryCount":1,"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":"wavelength-ide repositories"}