{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"lean4game","owner":"leanprover-community","isFork":false,"description":"Server to host lean games.","allTopics":["react","lean4"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":3,"issueCount":64,"starsCount":138,"forksCount":25,"license":"GNU General Public License v3.0","participation":[33,21,18,14,3,0,10,10,6,0,2,8,17,18,14,16,1,13,10,27,15,47,16,3,0,1,9,20,3,12,8,4,0,13,5,7,30,6,17,1,0,0,2,0,0,0,8,0,4,2,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-10T17:53:37.583Z"}},{"type":"Public","name":"lean-web-editor","owner":"leanprover-community","isFork":true,"description":"Lean 3 web editor","allTopics":["lean3"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":1,"starsCount":11,"forksCount":26,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-25T13:17:19.684Z"}}],"repositoryCount":2,"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":"leanprover-community repositories"}