{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"boogie","owner":"boogie-org","isFork":false,"description":"Boogie","allTopics":[],"primaryLanguage":{"name":"Boogie","color":"#c80fa0"},"pullRequestCount":4,"issueCount":25,"starsCount":492,"forksCount":107,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-03T15:18:53.560Z"}},{"type":"Public","name":"jar2bpl","owner":"boogie-org","isFork":false,"description":"Translate java jar files into Boogie programs","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":4,"starsCount":11,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-16T22:05:18.760Z"}},{"type":"Public","name":"boogieamp","owner":"boogie-org","isFork":false,"description":"Java parser for the Boogie intermediate verification language","allTopics":[],"primaryLanguage":{"name":"Boogie","color":"#c80fa0"},"pullRequestCount":0,"issueCount":2,"starsCount":10,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-15T17:47:53.741Z"}},{"type":"Public","name":"boogie-friends","owner":"boogie-org","isFork":false,"description":"Tools for interacting with Boogie","allTopics":[],"primaryLanguage":{"name":"Emacs Lisp","color":"#c065db"},"pullRequestCount":3,"issueCount":9,"starsCount":44,"forksCount":13,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-05T18:29:10.969Z"}},{"type":"Public","name":"corral","owner":"boogie-org","isFork":false,"description":"solver for the reachability modulo theories problem","allTopics":[],"primaryLanguage":{"name":"Boogie","color":"#c80fa0"},"pullRequestCount":3,"issueCount":37,"starsCount":55,"forksCount":28,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-11T06:29:57.479Z"}},{"type":"Public","name":"forro","owner":"boogie-org","isFork":false,"description":"A sample verifier for a toy language built on top of Boogie","allTopics":[],"primaryLanguage":{"name":"F#","color":"#b845fc"},"pullRequestCount":0,"issueCount":0,"starsCount":20,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-24T23:14:06.143Z"}},{"type":"Public","name":"boogie-vscode","owner":"boogie-org","isFork":false,"description":"VS Code Extension for Boogie","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-24T17:13:33.050Z"}},{"type":"Public","name":"BoogieV","owner":"boogie-org","isFork":false,"description":"A verified intermediate verification language","allTopics":[],"primaryLanguage":{"name":"Dafny","color":"#FFEC25"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-09T18:28:36.137Z"}},{"type":"Public","name":"symbooglix","owner":"boogie-org","isFork":false,"description":"Symbolic Execution Engine for Boogie","allTopics":["symbolic-execution","symbolic-execution-engine","boogie"],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":20,"starsCount":27,"forksCount":4,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-27T20:19:13.053Z"}},{"type":"Public","name":"coco","owner":"boogie-org","isFork":false,"description":"The compiler generator Coco/R","allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-13T13:47:54.003Z"}},{"type":"Public","name":"symdiff","owner":"boogie-org","isFork":false,"description":"SymDiff-Differential-Program-Verifier","allTopics":["semantic-diff","relational-verification","regression-verification"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":1,"starsCount":27,"forksCount":7,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-11-12T03:52:35.194Z"}},{"type":"Public","name":"boogie-partners","owner":"boogie-org","isFork":false,"description":"Repository containing the old boogie-partners repo","allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":1,"starsCount":2,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-04-04T21:55:02.545Z"}},{"type":"Public archive","name":"verisol","owner":"boogie-org","isFork":false,"description":"A formal verifier and analysis engine for Solidity Smart Contracts","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-01-12T22:04:41.130Z"}},{"type":"Public","name":"sdvbench","owner":"boogie-org","isFork":false,"description":"Microsoft Static Driver Verifier Benchmarks","allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":0,"starsCount":13,"forksCount":3,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-07-21T16:04:49.117Z"}},{"type":"Public","name":"boogie-docs","owner":"boogie-org","isFork":false,"description":"Documentation for the Boogie IVL and related technologies","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-07-16T15:31:23.631Z"}},{"type":"Public","name":"bytecodetranslator","owner":"boogie-org","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":4,"issueCount":1,"starsCount":5,"forksCount":8,"license":"Microsoft Public License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-07-21T18:03:48.558Z"}}],"repositoryCount":16,"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"}