#viper (20 Repositories)
Ranked open-source repositories tagged with #viper, scored by pull request acceptance likelihood and maintainer engagement velocity.
13.0%
20.2h
20 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
knadh/koanf
Simple, extremely lightweight, extensible, configuration management library for Go. Supports JSON, TOML, YAML, env, command line, file, S3 etc. Alternative to viper.
uber/RIBs
Uber's cross-platform mobile architecture framework - Android Repository
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.
viperproject/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
maukur/SwiftUI-Viper-Architecture
SwiftUI Viper (Without UIKit) Project template + example
eleev/swift-design-patterns
🚀 The ultimate collection of Software Design Patterns & Principles with examples [38/79 Patterns].
pedrohperalta/Articles-iOS-VIPER
Demo app for VIPER design pattern implementation
ustwo/videoplayback-ios
Swift AVPlayer wrapper using the VIPER architecture. Currently a work in progress
tailec/ios-architecture
A collection of iOS architectures - MVC, MVVM, MVVM+RxSwift, VIPER, RIBs and many others
ferranabello/Viperit
Viper Framework for iOS using Swift
tirupati17/currency-converter-swift3.0-viper
Calculates money quick and easy way to see live foreign exchange rates (Based on swift 4.2, viper architecture and special thanks to https://github.com/hakanensari/fixer-io for conversion API)
avito-tech/Marshroute
Marshroute is an iOS Library for making your Routers simple but extremely powerful
amitshekhariitbhu/iOS-Viper-Architecture
This repository contains a detailed sample app that implements VIPER architecture in iOS using libraries and frameworks like Alamofire, AlamofireImage, PKHUD, CoreData etc.
prusti/prusti
A static verifier for Rust, based on the Viper verification infrastructure.
duyanming/Viper
Viper 是一个基于Anno微服务引擎开发的Dashboard示例项目。Anno 底层通讯采用 grpc、thrift。自带服务发现、调用链追踪、Cron 调度、限流、事件总线等等
piupuer/gin-web
由gin + gorm + jwt + casbin组合实现的RBAC权限管理脚手架Golang版, 搭建完成即可快速、高效投入业务开发