Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with prusti

A curated list of projects in awesome lists tagged with prusti .

https://github.com/viperproject/prusti-assistant

VS Code extension to verify Rust programs with the Prusti verifier.

diagnostics prusti rust verification vscode-extension

Last synced: 18 Nov 2024

https://github.com/fpoli/viper-ide-codespace

Try the Prusti and Viper IDE in a Github Codespace

prusti viper vscode

Last synced: 03 Dec 2024