{"payload":{"pageCount":1,"repositories":[{"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":"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":"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":"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":"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":"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-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-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"}}],"repositoryCount":16,"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"}