{"payload":{"pageCount":1,"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":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-31T19:03:19.217Z"}},{"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":"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":"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":"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-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-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":9,"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"}