viperproject/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
RustNOASSERTION
Stargazers
- arbitrix
- atergaDFINITY Foundation
- barzamin@hecke-rs
- blandgerFreelance, Java, rust developer
- brendanzab@yeslogic
- ctsrcNorway
- davidbarskyNew York, New York
- devdoomari3
- eilveliaʻOumuamua
- ernadhCisco
- feroldi@jusbrasil
- frolQ-bit
- gabriel-fallenKontur
- gandroSwitzerland
- i64
- jean-airoldie
- jmitchellSeattle
- karroffel
- kazimuthDetroit, MI
- kubo39Tokyo, Japan
- LooMaclinRust
- loydNDA HFT
- maksimsco
- memoryruins
- o0Ignition0o@apollographql
- ocschwar
- PawkyPenguin
- PvdBerg1998Nederland
- Qwaz@theori-io
- rrika
- scalarwavesFreelance
- ssoudanSan Jose, CA
- timothyklim
- tomtomjhj
- utaalVMware Research
- valpackettArgentina ⭐⭐⭐