{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"1lab","owner":"the1lab","isFork":false,"description":"A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory","allTopics":["agda","homotopy-type-theory"],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":15,"issueCount":25,"starsCount":334,"forksCount":63,"license":"GNU Affero General Public License v3.0","participation":[4,1,2,0,5,5,3,2,5,7,5,13,7,14,3,8,8,4,12,1,1,9,2,5,1,0,1,3,1,0,0,0,0,0,0,1,7,5,8,1,6,0,5,3,2,1,0,0,1,1,2,2],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-21T18:42:48.665Z"}}],"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":"the1lab repositories"}