{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"tpmEmulator","owner":"armoredsoftware","isFork":false,"description":"Haskell implementation of the Trusted Platform Module interface","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-05-03T20:38:11.647Z"}},{"type":"Public","name":"doc","owner":"armoredsoftware","isFork":false,"description":"ArmoredSoftware documentation","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-05-16T12:55:48.321Z"}},{"type":"Public","name":"protocolImplementation","owner":"armoredsoftware","isFork":false,"description":"Haskell core infrastructure for implementation of ArmoredSoftware protocols","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-05-05T16:55:29.382Z"}},{"type":"Public","name":"session","owner":"armoredsoftware","isFork":false,"description":"Dependent Session Types","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-03-15T17:07:45.930Z"}},{"type":"Public","name":"measurer","owner":"armoredsoftware","isFork":false,"description":"JSON-RPC invokable measurer for native applications and the Request Line Interpreter (RLI) interactive client.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-01-07T20:08:42.927Z"}},{"type":"Public","name":"channels","owner":"armoredsoftware","isFork":false,"description":"Definition and implementation of various channel models for communication among ArmoredSoftware components","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-11-23T21:35:18.713Z"}},{"type":"Public","name":"demoConfig","owner":"armoredsoftware","isFork":false,"description":"Demonstration configurations","allTopics":[],"primaryLanguage":{"name":"PHP","color":"#4F5D95"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-08-31T23:29:28.846Z"}},{"type":"Public","name":"xenVchan","owner":"armoredsoftware","isFork":false,"description":"Haskell interface to the inter-domain communication protocol","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-08-26T17:24:31.578Z"}},{"type":"Public","name":"formalModels","owner":"armoredsoftware","isFork":false,"description":"Formal models associated with ArmoredSoftware development","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-07-10T20:54:47.346Z"}},{"type":"Public","name":"cloudSetup","owner":"armoredsoftware","isFork":false,"description":"Instructions and support for the creation of a cloud and deployment of code in the cloud","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-07-08T15:06:17.435Z"}},{"type":"Public","name":"code","owner":"armoredsoftware","isFork":false,"description":"ArmoredSoftware project at The University of Kansas Information and Telecommunication Technology Center","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-07-07T20:45:46.611Z"}},{"type":"Public","name":"protocol","owner":"armoredsoftware","isFork":false,"description":"Attestation protocol execution code","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-07-06T15:47:09.855Z"}},{"type":"Public","name":"armoredsoftware.github.io","owner":"armoredsoftware","isFork":false,"description":"ArmoredSoftware project website","allTopics":[],"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-02-01T02:27:47.477Z"}},{"type":"Public","name":"model","owner":"armoredsoftware","isFork":false,"description":"Basic model of armored software architecture","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-06-04T20:12:04.274Z"}}],"repositoryCount":14,"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":"armoredsoftware repositories"}