{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"agda","owner":"agda","isFork":false,"description":"Agda is a dependently typed programming language / interactive theorem prover.","allTopics":["programming-language","dependent-types","proof-assistant","type-theory","agda"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":52,"issueCount":978,"starsCount":2393,"forksCount":337,"license":"Other","participation":[3,12,5,12,2,4,10,23,2,25,3,17,24,23,22,11,17,10,13,22,7,4,12,29,2,6,1,4,1,1,3,5,2,3,6,18,18,17,14,30,8,1,8,4,1,13,10,7,9,15,4,4],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-31T19:03:19.217Z"}},{"type":"Public","name":"agda-stdlib","owner":"agda","isFork":false,"description":"The Agda standard library","allTopics":["library","proof","agda"],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":32,"issueCount":224,"starsCount":559,"forksCount":233,"license":"Other","participation":[0,4,10,6,5,0,0,4,16,1,8,4,5,0,11,4,11,14,11,18,3,4,2,3,2,7,1,6,1,1,5,0,0,2,2,10,3,0,7,4,3,9,9,5,3,0,14,1,1,5,1,4],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-31T16:46:42.453Z"}},{"type":"Public","name":"cubical","owner":"agda","isFork":false,"description":"An experimental library for Cubical Agda","allTopics":["library","cubical-type-theory","agda"],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":25,"issueCount":60,"starsCount":431,"forksCount":134,"license":"Other","participation":[2,1,1,1,8,10,4,0,0,0,0,2,8,2,11,7,1,1,0,1,1,9,2,3,3,0,1,0,0,0,0,0,1,3,1,4,2,2,2,1,1,2,1,0,0,2,1,0,1,10,2,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-31T11:45:58.726Z"}},{"type":"Public","name":"agda-categories","owner":"agda","isFork":false,"description":"A new Categories library for Agda","allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":9,"issueCount":48,"starsCount":350,"forksCount":64,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-29T08:07:22.733Z"}},{"type":"Public","name":"agda2hs","owner":"agda","isFork":false,"description":"Compiling Agda code to readable Haskell","allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":9,"issueCount":58,"starsCount":172,"forksCount":27,"license":"MIT License","participation":[0,0,0,0,0,3,2,3,0,8,0,0,2,1,0,0,2,0,11,2,3,3,3,10,0,4,5,6,10,5,0,0,6,10,14,11,12,12,10,9,19,10,8,0,0,1,0,0,0,2,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T13:44:37.448Z"}},{"type":"Public","name":"fix-whitespace","owner":"agda","isFork":false,"description":"Fixes whitespace issues","allTopics":["sanitization","formatter","version-control","whitespace"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":5,"starsCount":8,"forksCount":5,"license":"Other","participation":null,"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","allTopics":["agda","language-server-protocol","agda-mode"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":6,"starsCount":95,"forksCount":17,"license":"MIT License","participation":null,"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.","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","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":3,"starsCount":5,"forksCount":1,"license":"Other","participation":null,"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","allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":2,"starsCount":13,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-21T19:37:09.871Z"}},{"type":"Public","name":"guarded","owner":"agda","isFork":false,"description":"","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","allTopics":["package-manager","lightweight-dependency-management","agda"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":2,"issueCount":2,"starsCount":34,"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.","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","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","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","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","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.","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","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","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","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","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","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","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","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","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","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\"","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","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","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"}