{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"Dafny-VMC","owner":"dafny-lang","isFork":false,"description":"VMC: a Library for Verified Monte Carlo Algorithms","allTopics":[],"primaryLanguage":{"name":"Dafny","color":"#FFEC25"},"pullRequestCount":0,"issueCount":1,"starsCount":11,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-07T12:44:50.404Z"}},{"type":"Public","name":"libraries","owner":"dafny-lang","isFork":false,"description":"Libraries useful for Dafny programs","allTopics":[],"primaryLanguage":{"name":"Dafny","color":"#FFEC25"},"pullRequestCount":20,"issueCount":37,"starsCount":42,"forksCount":25,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-06T22:52:17.081Z"}},{"type":"Public","name":"dafny-reportgenerator","owner":"dafny-lang","isFork":false,"description":"A tool for analyzing and reporting on Dafny, especially the results of verification","allTopics":[],"primaryLanguage":{"name":"Dafny","color":"#FFEC25"},"pullRequestCount":1,"issueCount":5,"starsCount":3,"forksCount":4,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-04T17:28:52.836Z"}},{"type":"Public","name":"compiler-bootstrap","owner":"dafny-lang","isFork":false,"description":"A work-in-progress reimplementation of Dafny's compiler, in Dafny","allTopics":[],"primaryLanguage":{"name":"Dafny","color":"#FFEC25"},"pullRequestCount":2,"issueCount":12,"starsCount":4,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-04T17:25:21.434Z"}},{"type":"Public","name":"libraries-without-variance","owner":"dafny-lang","isFork":false,"description":"Fork of dafny-lang/libraries without variance declarations on type variables, to work around compilation gaps","allTopics":[],"primaryLanguage":{"name":"Dafny","color":"#FFEC25"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-09T17:23:14.706Z"}}],"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":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}