{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"axiom-profiler-2","owner":"viperproject","isFork":false,"description":"The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).","allTopics":["profiler","z3","instantiation","smt","axiom","quantifiers","e-matching"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":6,"issueCount":4,"starsCount":8,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-30T07:03:02.858Z"}},{"type":"Public","name":"prusti-dev","owner":"viperproject","isFork":false,"description":"A static verifier for Rust, based on the Viper verification infrastructure.","allTopics":["verification","viper","formal-verification","rust"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":25,"issueCount":247,"starsCount":1519,"forksCount":102,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-17T14:24:04.230Z"}},{"type":"Public","name":"program-proofs-prusti","owner":"viperproject","isFork":false,"description":"Examples and exercises from the book Program Proofs translated to Prusti","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-29T13:52:15.556Z"}},{"type":"Public","name":"mendel-verifier","owner":"viperproject","isFork":false,"description":"Capability-based verifier for safe Rust clients of interior mutability","allTopics":["rust","verification","viper","formal-verification"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":0,"starsCount":6,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-17T14:07:34.871Z"}},{"type":"Public","name":"rustc-plugin","owner":"viperproject","isFork":true,"description":"A framework for writing plugins that integrate with the Rust compiler","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":11,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-19T03:58:18.627Z"}},{"type":"Public","name":"prusti-perf","owner":"viperproject","isFork":true,"description":"Website for graphing performance of rustc","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":147,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-20T06:18:22.552Z"}},{"type":"Public","name":"rust-contracts","owner":"viperproject","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":1,"starsCount":7,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-01-14T08:15:26.301Z"}},{"type":"Public","name":"rust-pcs","owner":"viperproject","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Mozilla Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-11-09T11:31:58.311Z"}},{"type":"Public","name":"rust-life","owner":"viperproject","isFork":false,"description":"Simple explanations for some complex Rust lifetime errors.","allTopics":["rust","vscode-extension","lifetimes"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":0,"license":"Mozilla Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-09-09T12:33:54.065Z"}},{"type":"Public archive","name":"jni-gen","owner":"viperproject","isFork":false,"description":"Generate Rust wrappers for Java/Scala","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":4,"starsCount":4,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-10-01T05:30:41.822Z"}},{"type":"Public","name":"rust","owner":"viperproject","isFork":true,"description":"A safe, concurrent, practical language.","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":12204,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-07-09T13:38:17.623Z"}}],"repositoryCount":11,"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":"viperproject repositories"}