#viper (10 Repositories)
Ranked open-source repositories tagged with #viper, scored by pull request acceptance likelihood and maintainer engagement velocity.
23.2%
43.0h
10 repositories tagged #viper
viperproject/silver
Definition of the Viper intermediate verification language.
viperproject/silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
utwente-fmt/vercors
The VerCors verification toolset for verifying parallel and concurrent software
uber/RIBs
Uber's cross-platform mobile architecture framework - Android Repository
maukur/SwiftUI-Viper-Architecture
SwiftUI Viper (Without UIKit) Project template + example
viperproject/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
duyanming/Anno.Core
Anno 是一个微服务快速开发框架，底层通讯可选用grpc、thrift。自带服务发现、调用链追踪、Cron 调度、限流、事件总线、CQRS 、DDD，插件化开发。
Zuikyo/ZIKViper
iOS VIPER implementation, demonstrating discovering modules and injecting dependencies with protocol. Provide VIPER code Templates.
pedrohperalta/Articles-iOS-VIPER
Demo app for VIPER design pattern implementation
eleev/swift-design-patterns
🚀 The ultimate collection of Software Design Patterns & Principles with examples [38/79 Patterns].