{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"inc-lc.github.io","owner":"inc-lc","isFork":false,"description":"Website for Incremental Lambda Calculus","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-01-23T18:50:30.214Z"}},{"type":"Public","name":"cts","owner":"inc-lc","isFork":true,"description":"Material for Static Differentiation in Cache Transfer Style","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-02-19T11:47:08.403Z"}},{"type":"Public","name":"ilc-agda","owner":"inc-lc","isFork":false,"description":"Machine-checked Agda formalization for the ILC project","allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":1,"issueCount":0,"starsCount":15,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-04-06T15:09:45.951Z"}},{"type":"Public","name":"ilc-scala","owner":"inc-lc","isFork":false,"description":"Scala implementation of ILC, with benchmarks","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":1,"starsCount":25,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-07-05T19:21:37.622Z"}}],"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":"inc-lc repositories"}