{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"M2-7-2","owner":"MPRI","isFork":false,"description":"Proof assistants","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-12-17T11:27:13.394Z"}},{"type":"Public","name":"M2-7-1","owner":"MPRI","isFork":false,"description":"Foundations of proof systems","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-10-08T12:48:53.649Z"}},{"type":"Public","name":"M2-29-1","owner":"MPRI","isFork":false,"description":"Graph algorithms","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-10-05T11:25:30.974Z"}},{"type":"Public","name":"M2-4-2","owner":"MPRI","isFork":false,"description":"Functional programming and type systems","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":112,"forksCount":21,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-10-02T07:04:48.634Z"}},{"type":"Public","name":"M2-6","owner":"MPRI","isFork":false,"description":"Abstract interpretation: application to verification and static analysis","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-09-30T06:59:39.866Z"}},{"type":"Public","name":"M2-1","owner":"MPRI","isFork":false,"description":" Linear logic and logical paradigms of computation","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-09-24T08:59:31.772Z"}},{"type":"Public","name":"M2-20-2","owner":"MPRI","isFork":false,"description":"Mathematical foundations of automata theory","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-09-21T13:45:44.400Z"}}],"repositoryCount":7,"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":"MPRI repositories"}