{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"verus","owner":"verus-lang","isFork":false,"description":"Verified Rust for low-level systems code","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":29,"issueCount":93,"starsCount":1132,"forksCount":63,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-21T21:59:45.893Z"}},{"type":"Public","name":"paper-sosp24-artifact","owner":"verus-lang","isFork":false,"description":"Artifact for the conditionally accepted paper \"Verus: A Practical Foundation for Systems Verification\"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-21T15:56:56.359Z"}},{"type":"Public","name":"verusfmt","owner":"verus-lang","isFork":false,"description":"An Opinionated Formatter for Verus","allTopics":["formatter","pretty-printer","verus"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":9,"starsCount":5,"forksCount":4,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-20T22:13:22.561Z"}},{"type":"Public","name":"verus-mode.el","owner":"verus-lang","isFork":false,"description":"Support for Verus programming in Emacs","allTopics":[],"primaryLanguage":{"name":"Emacs Lisp","color":"#c065db"},"pullRequestCount":0,"issueCount":2,"starsCount":5,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-17T22:42:48.959Z"}},{"type":"Public","name":"verified-memory-allocator","owner":"verus-lang","isFork":false,"description":"A memory allocator verified with Verus","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-10T18:37:21.751Z"}},{"type":"Public","name":"event-sites","owner":"verus-lang","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-10T16:58:54.971Z"}},{"type":"Public","name":"verified-node-replication","owner":"verus-lang","isFork":false,"description":"Verified Node-Replication Crate","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":0,"starsCount":2,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-08T16:47:57.503Z"}},{"type":"Public","name":"verus-analyzer","owner":"verus-lang","isFork":true,"description":"A Verus compiler front-end for IDEs (derived from rust-analyzer)","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":8,"starsCount":8,"forksCount":1568,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-05T14:21:11.065Z"}},{"type":"Public","name":"verified-ironkv","owner":"verus-lang","isFork":false,"description":"Verus-verified implementation of Ironfleet Sharded Hash Table key-value store","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":1,"starsCount":2,"forksCount":0,"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,12,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-30T21:55:33.300Z"}},{"type":"Public","name":"blog","owner":"verus-lang","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-18T16:06:40.892Z"}},{"type":"Public","name":"verus-playground","owner":"verus-lang","isFork":true,"description":"The Rust Playground","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":205,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-20T14:32:34.175Z"}},{"type":"Public","name":"smt2utils","owner":"verus-lang","isFork":true,"description":"Rust libraries and tools for the SMT-LIB-2 standard.","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":12,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-03T11:17:41.250Z"}},{"type":"Public","name":"rust","owner":"verus-lang","isFork":true,"description":"Empowering everyone to build reliable and efficient software.","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":12538,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-19T11:18:07.252Z"}},{"type":"Public","name":".github","owner":"verus-lang","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-08T09:12:03.552Z"}}],"repositoryCount":14,"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":"verus-lang repositories"}