{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"agda-nplib","owner":"crypto-agda","isFork":false,"description":"Proposed extensions to Agda standard's library","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":1,"starsCount":9,"forksCount":3,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-12-27T21:58:20.965Z"}},{"type":"Public","name":"crypto-agda","owner":"crypto-agda","isFork":true,"description":"Cryptographic Constructions in the Type Theory of Agda","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":0,"starsCount":52,"forksCount":6,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-08-08T07:28:34.485Z"}},{"type":"Public","name":"explore","owner":"crypto-agda","isFork":false,"description":"Big operators as exploration functions in Agda","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":3,"starsCount":3,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-07-08T13:57:04.758Z"}},{"type":"Public","name":"protocols","owner":"crypto-agda","isFork":false,"description":"Shallow embedding of Protocols using Agda dependent types","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-07-08T13:22:37.486Z"}},{"type":"Public","name":"agda-libjs","owner":"crypto-agda","isFork":false,"description":"Core bindings to run Agda code using NodeJS ","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-07-07T17:24:48.594Z"}},{"type":"Public","name":"agda-bitcoinjs","owner":"crypto-agda","isFork":false,"description":"Agda binding to bitcoinjs","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-12-16T11:34:56.487Z"}},{"type":"Public","name":"agda-stdlib","owner":"crypto-agda","isFork":true,"description":"The Agda standard library","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":233,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-10-17T21:56:00.230Z"}},{"type":"Public","name":"agda","owner":"crypto-agda","isFork":true,"description":"Agda is a dependently typed programming language / interactive theorem prover.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":19,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-06-16T15:47:00.583Z"}},{"type":"Public","name":"crypto-agda.github.io","owner":"crypto-agda","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2013-11-13T16:22:13.128Z"}},{"type":"Public","name":"agda-tactics","owner":"crypto-agda","isFork":true,"description":"Reflective proof tactics and metaprogramming for Agda.","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2012-04-16T17:37:50.000Z"}}],"repositoryCount":10,"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":"mirror","text":"Mirrors"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}