{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"agda-categories","owner":"agda","isFork":false,"description":"A new Categories library for Agda","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":8,"issueCount":48,"starsCount":348,"forksCount":64,"license":"MIT License","participation":[0,0,0,0,3,2,8,4,3,8,26,1,13,1,5,0,7,0,1,9,0,4,1,0,0,0,2,1,29,34,10,5,7,3,2,3,0,0,0,5,4,4,0,0,2,0,1,0,1,0,0,5],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-26T15:21:43.063Z"}},{"type":"Public","name":"agda-stdlib","owner":"agda","isFork":false,"description":"The Agda standard library","topicNames":["library","proof","agda"],"topicsNotShown":0,"allTopics":["library","proof","agda"],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":34,"issueCount":225,"starsCount":559,"forksCount":233,"license":"Other","participation":[0,2,2,11,9,1,0,1,16,3,7,2,4,5,0,12,3,12,17,11,17,0,5,1,4,4,4,1,7,0,2,4,0,2,1,1,11,2,0,7,5,7,4,9,5,3,8,6,1,1,5,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-25T15:51:15.691Z"}},{"type":"Public","name":"agda2hs","owner":"agda","isFork":false,"description":"Compiling Agda code to readable Haskell","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":9,"issueCount":58,"starsCount":172,"forksCount":27,"license":"MIT License","participation":[0,0,0,0,0,0,3,2,3,0,8,0,2,0,1,0,0,2,3,8,2,3,3,7,6,0,4,8,3,11,4,0,3,6,12,12,10,11,16,8,23,11,1,8,0,1,0,0,0,0,2,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T13:44:37.448Z"}},{"type":"Public","name":"agda","owner":"agda","isFork":false,"description":"Agda is a dependently typed programming language / interactive theorem prover.","topicNames":["programming-language","dependent-types","proof-assistant","type-theory","agda"],"topicsNotShown":0,"allTopics":["programming-language","dependent-types","proof-assistant","type-theory","agda"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":51,"issueCount":976,"starsCount":2396,"forksCount":337,"license":"Other","participation":[10,2,11,10,9,4,0,21,12,23,4,4,19,31,19,17,11,19,15,8,19,7,5,14,27,2,5,1,4,2,0,7,2,2,2,10,17,19,18,14,28,5,4,8,2,1,17,5,13,5,17,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-23T09:15:14.882Z"}},{"type":"Public","name":"cubical","owner":"agda","isFork":false,"description":"An experimental library for Cubical Agda","topicNames":["library","cubical-type-theory","agda"],"topicsNotShown":0,"allTopics":["library","cubical-type-theory","agda"],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":23,"issueCount":60,"starsCount":428,"forksCount":132,"license":"Other","participation":[4,1,1,1,1,8,13,1,0,0,0,0,5,5,2,16,2,1,1,1,0,3,8,1,5,1,0,1,0,0,0,0,0,1,3,2,3,3,2,2,0,2,2,0,0,1,1,1,0,1,11,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-22T13:04:10.686Z"}},{"type":"Public","name":"fix-whitespace","owner":"agda","isFork":false,"description":"Fixes whitespace issues","topicNames":["sanitization","formatter","version-control","whitespace"],"topicsNotShown":0,"allTopics":["sanitization","formatter","version-control","whitespace"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":5,"starsCount":8,"forksCount":5,"license":"Other","participation":[0,0,0,1,0,0,0,0,0,0,2,0,0,0,0,1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-22T11:45:37.907Z"}},{"type":"Public","name":"agda-language-server","owner":"agda","isFork":false,"description":"Language Server for Agda","topicNames":["agda","language-server-protocol","agda-mode"],"topicsNotShown":0,"allTopics":["agda","language-server-protocol","agda-mode"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":6,"starsCount":95,"forksCount":17,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,20,3,4,10,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-16T07:51:48.186Z"}},{"type":"Public","name":"agda-base","owner":"agda","isFork":false,"description":"This is an experimental base library which is supposed to contain functional datastructures and reflection code.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":1,"starsCount":9,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-06T08:54:43.178Z"}},{"type":"Public","name":"hs-tags","owner":"agda","isFork":false,"description":"Generate ctags and etags for Haskell files","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":3,"starsCount":5,"forksCount":1,"license":"Other","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-28T20:40:36.222Z"}},{"type":"Public","name":"agda-finite-prover","owner":"agda","isFork":false,"description":"Library for proving propositions quantified over finite sets","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":2,"starsCount":13,"forksCount":2,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-21T19:37:09.871Z"}},{"type":"Public","name":"guarded","owner":"agda","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-03T12:08:59.381Z"}},{"type":"Public","name":"agda-pkg","owner":"agda","isFork":false,"description":"apkg - package manager for Agda","topicNames":["package-manager","lightweight-dependency-management","agda"],"topicsNotShown":0,"allTopics":["package-manager","lightweight-dependency-management","agda"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":2,"issueCount":2,"starsCount":33,"forksCount":8,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-17T22:53:40.350Z"}},{"type":"Public","name":"text-icu","owner":"agda","isFork":true,"description":"This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":40,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-11T05:32:06.611Z"}},{"type":"Public","name":"categories-examples","owner":"agda","isFork":false,"description":"Examples of categorical structures","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":1,"issueCount":2,"starsCount":11,"forksCount":4,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-03-19T00:37:34.164Z"}},{"type":"Public","name":"package-index","owner":"agda","isFork":false,"description":"A package Index for agda libraries","topicNames":["package-index","apkg","agda","agda-pkg"],"topicsNotShown":0,"allTopics":["package-index","apkg","agda","agda-pkg"],"primaryLanguage":null,"pullRequestCount":1,"issueCount":3,"starsCount":12,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-03-14T05:44:31.445Z"}},{"type":"Public","name":"agda-github-syntax-highlighting","owner":"agda","isFork":false,"description":"Syntax highlighting used on GitHub","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":5,"starsCount":4,"forksCount":4,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-10-27T11:27:44.319Z"}},{"type":"Public","name":"ooAgda","owner":"agda","isFork":false,"description":"Interactive and object-oriented programming in Agda using coinductive types","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":0,"starsCount":21,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-06-04T18:21:28.102Z"}},{"type":"Public","name":"agda-spec","owner":"agda","isFork":false,"description":"Specification of Agda.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":1,"starsCount":25,"forksCount":3,"license":"The Unlicense","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-01-13T20:18:49.687Z"}},{"type":"Public","name":"categories","owner":"agda","isFork":true,"description":"Categories parametrized by morphism equality, in Agda","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":26,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-11-25T19:57:06.461Z"}},{"type":"Public","name":"agda-system-io","owner":"agda","isFork":false,"description":"Bindings to Haskell's IO monad which respect Agda's semantics","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":18,"starsCount":24,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-11-14T18:11:59.576Z"}},{"type":"Public","name":"agda-data-bindings","owner":"agda","isFork":false,"description":"Agda bindings for low-level datatypes such as raw naturals and bytestrings","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-11-14T09:37:29.535Z"}},{"type":"Public","name":"agda-web-semantic","owner":"agda","isFork":false,"description":"Agda libraries for the semantic web","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":3,"starsCount":22,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-11-14T02:56:00.997Z"}},{"type":"Public","name":"agda-ocaml","owner":"agda","isFork":false,"description":"OCaml backend for Agda","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":1,"starsCount":39,"forksCount":6,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-10-04T22:22:56.702Z"}},{"type":"Public","name":"agda-frp-js","owner":"agda","isFork":false,"description":"ECMAScript back end for Functional Reactive Programming in Agda","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":3,"starsCount":101,"forksCount":12,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-10-19T12:27:03.553Z"}},{"type":"Public","name":"agda-ghc-names","owner":"agda","isFork":false,"description":"Tool for making sense of the Haskell code generated by the Agda compiler","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-03-23T14:58:08.376Z"}},{"type":"Public","name":"agda-uhc","owner":"agda","isFork":false,"description":"UHC backend for Agda","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":6,"starsCount":4,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-02-24T13:36:47.885Z"}},{"type":"Public","name":"agda-frp-ltl","owner":"agda","isFork":false,"description":"An implementation of Functional Reactive Programming","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":1,"starsCount":40,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-03-02T09:19:31.188Z"}},{"type":"Public","name":"agda-assoc-free","owner":"agda","isFork":false,"description":"An implementation of \"Associativity for Free\"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2011-11-21T19:08:24.000Z"}},{"type":"Public","name":"agda-text-xml","owner":"agda","isFork":false,"description":"Simple bindings for parsing, processing and serializing XML","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2011-05-25T22:09:37.000Z"}},{"type":"Public","name":"agda-web-uri","owner":"agda","isFork":false,"description":"Simple bindings for parsing, processing and serializing URIs","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2011-05-25T22:03:35.000Z"}}],"repositoryCount":32,"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"}