{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"aartifact.github.io","owner":"aartifact","isFork":false,"description":"Webpage describing the various projects undertaken as part of this effort.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-08-05T18:41:34.535Z"}},{"type":"Public","name":"aartifact","owner":"aartifact","isFork":false,"description":"Infrastructure for defining and implementing integrated environments that incorporate multiple formal reasoning assistance, verification, validation, analysis, and interpretation techniques.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-09-16T14:51:26.864Z"}},{"type":"Public","name":"aartifact-verifier","owner":"aartifact","isFork":false,"description":"Lightweight formal verification system developed to support research on usability of automated proof verification tools.","topicNames":["logic","proofs","formal-verification"],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-09-11T00:35:01.785Z"}},{"type":"Public","name":"aartifact-light","owner":"aartifact","isFork":false,"description":"Lightweight web-based formal verification tool.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-09-09T18:23:15.407Z"}},{"type":"Public","name":"random-exercise-generator","owner":"aartifact","isFork":false,"description":"Random exercise generator for a course on modular arithmetic.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"PHP","color":"#4F5D95"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-09-08T17:29:21.880Z"}}],"repositoryCount":5,"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"}