{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"PLFA-zh","owner":"Agda-zh","isFork":false,"description":"《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":26,"starsCount":184,"forksCount":21,"license":"Creative Commons Attribution 4.0 International","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T23:50:51.037Z"}},{"type":"Public","name":"gentle-intro-to-reflection","owner":"Agda-zh","isFork":true,"description":"A slow-paced introduction to reflection in Agda. ---Tactics!","allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":9,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-25T01:25:28.025Z"}},{"type":"Public","name":"agda","owner":"Agda-zh","isFork":true,"description":"用作文档目的，翻译方式见 Issue #2","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":2,"starsCount":1,"forksCount":337,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-10-14T06:03:10.588Z"}},{"type":"Public","name":"cubical","owner":"Agda-zh","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":134,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-11-29T20:00:08.025Z"}},{"type":"Public","name":"HoTT-Agda","owner":"Agda-zh","isFork":true,"description":"Development of homotopy type theory in Agda","allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":59,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-11-10T21:37:05.568Z"}}],"repositoryCount":5,"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"}