{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"plt-books","owner":"lambda-magic","isFork":false,"description":"Books on programming language theory and linguistics in general.","allTopics":["computer-science","linguistics","programming-languages"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":47,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-16T15:28:41.083Z"}},{"type":"Public","name":"elaboration-zoo","owner":"lambda-magic","isFork":true,"description":"Minimal implementations for dependent type checking and elaboration","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":31,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-12-07T19:42:00.510Z"}},{"type":"Public","name":"plfa.github.io","owner":"lambda-magic","isFork":true,"description":"Introduction to programming language theory in Agda","allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":295,"license":"Creative Commons Attribution 4.0 International","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-10-07T20:24:55.383Z"}},{"type":"Public","name":"SPLV20","owner":"lambda-magic","isFork":true,"description":"SPLV20 course notes","allTopics":[],"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":34,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-08-20T13:47:49.246Z"}},{"type":"Public","name":"presentations","owner":"lambda-magic","isFork":true,"description":"Presentations on Liquid Haskell, type theory, and more","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-01-28T01:11:47.217Z"}},{"type":"Public","name":"cubicaltt","owner":"lambda-magic","isFork":true,"description":"Experimental implementation of Cubical Type Theory","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":77,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-03-24T15:26:39.848Z"}}],"repositoryCount":6,"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":"Repositories"}