{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"matrix-challenge","owner":"wespl","isFork":true,"description":"Demonstration of language functionality using matrix datatypes as an example","allTopics":[],"primaryLanguage":{"name":"Swift","color":"#F05138"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-05-19T03:26:52.522Z"}},{"type":"Public","name":"logical-relations","owner":"wespl","isFork":false,"description":"Using logical relations to prove strong normalization and semantic type safety for STLC","allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-05-11T16:33:09.132Z"}},{"type":"Public","name":"template-haskell-lecture","owner":"wespl","isFork":false,"description":"To be used for the lecture about metaprogramming in Haskell ","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-04-13T17:58:25.367Z"}},{"type":"Public","name":"haskell-testing-lecture","owner":"wespl","isFork":false,"description":"To be used for the lecture about testing in Haskell","allTopics":["testing","haskell","quickcheck","topological-sort","hspec"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-03-30T23:26:15.705Z"}}],"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":"wespl repositories"}