{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"wb","owner":"demtech","isFork":true,"description":"Setup-scripts for DemTech's logging system for queue sizes at polling places.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-06-17T09:29:26.953Z"}},{"type":"Public","name":"RLA","owner":"demtech","isFork":false,"description":"Risk Limiting Audits for Denmark","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-05-30T15:16:25.143Z"}},{"type":"Public","name":"evalimine","owner":"demtech","isFork":true,"description":"e-hääletamise tarkvara","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":106,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-03-07T19:35:07.000Z"}},{"type":"Public","name":"demtech.github.com","owner":"demtech","isFork":false,"description":"The DemTech website.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-01-09T17:09:51.000Z"}},{"type":"Public","name":"zeus","owner":"demtech","isFork":true,"description":"Zeus server","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":335,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2013-08-21T10:06:30.000Z"}},{"type":"Public","name":"votetec","owner":"demtech","isFork":false,"description":"A simple voting system with trace-emitting computations, written in Java and integrated with Twelf.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2013-05-02T07:26:12.000Z"}},{"type":"Public","name":"papers","owner":"demtech","isFork":false,"description":"Research papers written by/with DemTech personnel.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Emacs Lisp","color":"#c065db"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2013-03-25T14:35:42.000Z"}},{"type":"Public","name":"crypto-agda","owner":"demtech","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2013-02-11T08:37:31.000Z"}},{"type":"Public","name":"agda-nplib","owner":"demtech","isFork":true,"description":"Proposed extensions to Agda standard's library","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2013-02-08T15:32:29.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"}