{"payload":{"pageCount":1,"repositories":[{"type":"Public archive","name":"quickcheck-state-machine","owner":"advancedtelematic","isFork":false,"description":"Test monadic programs using state machine based models","allTopics":["testing","haskell","property-based-testing","haskell-library","quickcheck"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":28,"starsCount":204,"forksCount":25,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-11T14:40:30.350Z"}},{"type":"Public","name":"markov-chain-usage-model","owner":"advancedtelematic","isFork":false,"description":"Computations for Markov chain usage models","allTopics":["testing","haskell","statistics","markov-chain","haskell-library"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":1,"starsCount":5,"forksCount":0,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-07-15T09:54:58.403Z"}},{"type":"Public archive","name":"tasty","owner":"advancedtelematic","isFork":true,"description":"Modern and extensible testing framework for Haskell","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":108,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-05-07T13:22:54.017Z"}},{"type":"Public archive","name":"quickcheck","owner":"advancedtelematic","isFork":true,"description":"Automatic testing of Haskell programs.","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":119,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-01-18T14:48:58.819Z"}},{"type":"Public archive","name":"quickcheck-state-machine-distributed","owner":"advancedtelematic","isFork":false,"description":"Test monadic programs using state machine based models","allTopics":["testing","haskell","state-machine","haskell-library","quickcheck","race-conditions","linearizability"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":3,"starsCount":5,"forksCount":0,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-05-03T15:42:13.277Z"}},{"type":"Public archive","name":"distributed-process-task-queue","owner":"advancedtelematic","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-05-03T15:14:15.036Z"}}],"repositoryCount":6,"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":"advancedtelematic repositories"}