{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"verifiedVotingRuleConstruction","owner":"VeriVote","isFork":false,"description":"A Framework for the Verified Construction of Fair Voting Rules","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":1,"issueCount":0,"starsCount":3,"forksCount":8,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-19T20:55:15.516Z"}},{"type":"Public","name":"beast","owner":"VeriVote","isFork":false,"description":"BEAST aims to make the verification of voting rules easier","allTopics":["beast","cbmc"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":4,"starsCount":6,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-14T23:25:23.041Z"}},{"type":"Public","name":"ViRAGe","owner":"VeriVote","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-25T18:00:28.611Z"}},{"type":"Public","name":"polyas-core3-open-cred","owner":"VeriVote","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-08T18:28:09.701Z"}}],"repositoryCount":4,"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":"VeriVote repositories"}