{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"QuickChick","owner":"QuickChick","isFork":false,"description":"Randomized Property-Based Testing Plugin for Coq","allTopics":["testing","coq"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":6,"issueCount":88,"starsCount":250,"forksCount":46,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-26T18:40:25.578Z"}},{"type":"Public","name":"IFC","owner":"QuickChick","isFork":false,"description":"Information Flow Control (IFC) case study for the QuickChick testing plugin for Coq. Includes verification of testing and some other Coq proofs.","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":3,"starsCount":11,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-03T00:28:06.285Z"}},{"type":"Public","name":"Luck","owner":"QuickChick","isFork":false,"description":"Luck -- A Language for Property-Based Generators","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":31,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-11-09T19:45:31.642Z"}},{"type":"Public","name":"TestingNoninterference","owner":"QuickChick","isFork":false,"description":"Haskell code associated to the \"Testing Noninterference, Quickly\" paper. The associated Coq proofs are in a separate repository: <a href=\"https://github.com/QuickChick/IFC\">https://github.com/QuickChick/IFC</a>","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":1,"starsCount":6,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-08-08T08:04:34.690Z"}}],"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":"QuickChick repositories"}