{"payload":{"pageCount":3,"repositories":[{"type":"Public","name":"gobra-ide","owner":"viperproject","isFork":false,"description":"VSCode Plugin for Gobra","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":2,"issueCount":2,"starsCount":8,"forksCount":1,"license":"Other","participation":[0,1,4,1,2,4,6,5,7,3,2,0,18,16,0,0,2,44,2,2,1,0,4,0,8,2,7,11,10,10,2,6,6,9,3,0,2,2,6,2,2,6,2,0,6,2,5,4,2,1,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-06T07:15:36.896Z"}},{"type":"Public","name":"locate-java-home","owner":"viperproject","isFork":true,"description":"Locates JAVA_HOME on any platform, and can differentiate between different versions.","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":9,"license":"Other","participation":[0,0,0,6,0,0,0,3,5,0,0,0,8,0,0,0,11,0,0,0,1,0,0,0,0,3,0,0,0,6,0,0,0,3,3,0,0,0,4,0,0,0,4,0,2,0,6,0,0,0,0,8],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-03T21:48:33.128Z"}},{"type":"Public","name":"VerifiedSCION","owner":"viperproject","isFork":false,"description":"Verifying the SCION architecture using Gobra","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":9,"issueCount":12,"starsCount":8,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-02T16:47:02.113Z"}},{"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":26,"issueCount":247,"starsCount":1540,"forksCount":105,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-01T15:47:18.548Z"}},{"type":"Public","name":"vs-verification-toolbox","owner":"viperproject","isFork":false,"description":"Useful component to build VS Code extensions for verifiers.","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":1,"issueCount":0,"starsCount":5,"forksCount":2,"license":"Mozilla Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-01T13:25:33.895Z"}},{"type":"Public","name":"viper-ide","owner":"viperproject","isFork":false,"description":"This is the main repository for the Viper IDE extension for VS Code. ","allTopics":["verification","viper","vscode-extension"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":7,"issueCount":14,"starsCount":10,"forksCount":8,"license":"Mozilla Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-01T07:36:31.660Z"}},{"type":"Public","name":"prusti-assistant","owner":"viperproject","isFork":false,"description":"VS Code extension to verify Rust programs with the Prusti verifier.","allTopics":["verification","vscode-extension","diagnostics","prusti","rust"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":4,"issueCount":9,"starsCount":22,"forksCount":10,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-01T07:05:00.311Z"}},{"type":"Public","name":"create-nightly-release","owner":"viperproject","isFork":false,"description":"GitHub action to create a new pre-release and delete old pre-releases created by this action","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":1,"issueCount":0,"starsCount":10,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-01T07:00:58.423Z"}},{"type":"Public","name":"gobra","owner":"viperproject","isFork":false,"description":"Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.","allTopics":["go","golang","verification"],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":11,"issueCount":79,"starsCount":103,"forksCount":26,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-01T06:01:03.840Z"}},{"type":"Public","name":"carbon","owner":"viperproject","isFork":false,"description":"Verification-condition-generation-based verifier for the Viper intermediate verification language.","allTopics":["verification","viper","verification-condition-generation"],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":8,"issueCount":150,"starsCount":29,"forksCount":20,"license":"Mozilla Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-31T13:56:07.160Z"}},{"type":"Public","name":"silver","owner":"viperproject","isFork":false,"description":"Definition of the Viper intermediate verification language.","allTopics":["programming-language","verification","viper"],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":11,"issueCount":100,"starsCount":77,"forksCount":41,"license":"Mozilla Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-31T13:55:43.817Z"}},{"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":5,"issueCount":4,"starsCount":9,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-30T13:55:29.376Z"}},{"type":"Public","name":"silver-oxide","owner":"viperproject","isFork":false,"description":"A Rust parser for Viper","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":"2024-07-24T16:37:07.369Z"}},{"type":"Public","name":"gobra-mode","owner":"viperproject","isFork":false,"description":"Support for Gobra in emacs","allTopics":[],"primaryLanguage":{"name":"Emacs Lisp","color":"#c065db"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":"Mozilla Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-23T21:10:23.581Z"}},{"type":"Public","name":"gobra-libs","owner":"viperproject","isFork":false,"description":"Standard library for the Gobra verifier for Go. Contains definitions and lemmas useful for verifying large projects.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":6,"starsCount":2,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-22T10:19:02.643Z"}},{"type":"Public","name":"silicon","owner":"viperproject","isFork":false,"description":"Symbolic-execution-based verifier for the Viper intermediate verification language.","allTopics":["verification","symbolic-execution","viper"],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":10,"issueCount":113,"starsCount":78,"forksCount":31,"license":"Mozilla Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-19T15:00:59.219Z"}},{"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":0,"issueCount":0,"starsCount":6,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-18T14:15:06.871Z"}},{"type":"Public","name":"axiom-profiler","owner":"viperproject","isFork":false,"description":"The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).","allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":3,"issueCount":20,"starsCount":31,"forksCount":4,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-08T12:14:05.338Z"}},{"type":"Public","name":"viperserver","owner":"viperproject","isFork":false,"description":"HTTP server that manages verification requests to different tools from the Viper tool stack.","allTopics":["verification","viper"],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":3,"issueCount":3,"starsCount":10,"forksCount":15,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-02T21:20:49.463Z"}},{"type":"Public","name":"tutorial","owner":"viperproject","isFork":false,"description":"This repo contains the sources of the official Viper tutorial (<a href=\"http://viper.ethz.ch/tutorial\" rel=\"nofollow\">http://viper.ethz.ch/tutorial</a>). Feel free to submit your fixes and additions via pull requests. Please report technical issues via the issue tracker.","allTopics":[],"primaryLanguage":null,"pullRequestCount":2,"issueCount":5,"starsCount":0,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-03T10:35:35.404Z"}},{"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":"viper-data-collection","owner":"viperproject","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":2,"issueCount":1,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-15T19:12:20.235Z"}},{"type":"Public","name":"gobra-action","owner":"viperproject","isFork":false,"description":"Github Action to verify Go code with Gobra directly in a CI workflow","allTopics":["go","golang","verification","formal-verification","actions","github-actions"],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":1,"issueCount":4,"starsCount":2,"forksCount":2,"license":"Mozilla Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-19T09:51:39.781Z"}},{"type":"Public","name":"silver-sif-extension","owner":"viperproject","isFork":false,"description":"Extension of the Viper language with modular product programs and information flow specifications","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Mozilla Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-19T15:36:12.410Z"}},{"type":"Public","name":"vdc-query-frontend","owner":"viperproject","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-09T09:42:56.843Z"}},{"type":"Public","name":"SecurityProtocolImplementations","owner":"viperproject","isFork":false,"description":"Artifact for the paper \"A Generic Methodology for the Modular Verification of Security Protocol Implementations\"","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Mozilla Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-08T09:29:11.167Z"}},{"type":"Public","name":"protocol-verification-refinement","owner":"viperproject","isFork":false,"description":"Artifact of the paper \"Sound Verication of Security Protocols: From Design to Interoperable Implementations\"","allTopics":["implementation","tamarin","separation-logic","protocol-verification","symbolic-security","automated-verification"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Mozilla Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-07T15:56:54.399Z"}},{"type":"Public","name":"ReusableProtocolVerificationLibrary","owner":"viperproject","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-07T15:26:48.853Z"}},{"type":"Public","name":"program-proofs-gobra","owner":"viperproject","isFork":false,"description":"Examples and exercises from the book Program Proofs translated to Gobra","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":1,"starsCount":4,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-30T11:05:05.913Z"}},{"type":"Public","name":"examples","owner":"viperproject","isFork":false,"description":"A repository of Viper examples.","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"Mozilla Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-24T12:17:52.611Z"}}],"repositoryCount":71,"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"}