86 Repositories
prusti-dev
1744
gobra
147
silicon
127
silver
95
smt-scope
58
2vyper
51
carbon
37
axiom-profiler
32
prusti-assistant
24
bitbucket-issue-migration
24
viperserver
16
mendel-verifier
15
viper-ide
13
VerifiedSCION
11
gobra-ide
11
create-nightly-release
10
jni-gen
8
rust-life
7
rust-contracts
7
foundational-boogie
7
protocol-verification-refinement
6
program-proofs-gobra
6
check-license-header
6
vs-verification-toolbox
5
viper-roots
5
boogie-proofgen
5
gobra-book
4
viper_client
3
silver-sif-extension
3
silver-oxide
3
SecurityProtocolImplementations
3
ReusableProtocolVerificationLibrary
3
prusti-action
3
program-proofs-prusti
3
locate-java-home
3
diodon-artifact
3
vpr-mode
2
termination-plugin
2
reachability-verification
2
ouroboros
2
lizard
2
gobra-libs
2
gobra-action
2
axiom-profiler-2
2
voila
1
viper-runner
1
viper-linux-dev-docker
1
viper-linux-dev
1
verified_go_stdlib
1
silver-multisets
1