Prusti Dev Alternatives
A static verifier for Rust, based on the Viper verification infrastructure.
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Viper | 3,385 | a year ago | 4 | bsd-3-clause | ||||||
| Redteam operation platform with webui 图形化红队行动辅助平台 | ||||||||||
| Prusti Dev | 1,409 | | 1 | a year ago | 12 | September 04, 2023 | 257 | other | Rust | |
| A static verifier for Rust, based on the Viper verification infrastructure. | ||||||||||
| Bigshow1949 | 1,036 | 4 years ago | 7 | Objective-C | ||||||
| iOS教学/各类知识点总结:运行时/贝塞尔曲线/水纹/粒子发射器/核心动画/渐变色/网络请求/按钮/标签/视图布局/视图效果/文字视图/表情键盘/旋转动画/2048/网易/微信/猿题库/阿里巴巴/设计模式/数据持久化/多次点击按钮/微信注册按钮/展开按钮/跑马灯/闪烁文字/球形滚动标签/自动布局标签/快播动态标签/水平滚动布局/瀑布流布局/浏览卡/半圆布局/滑动标题/抽卡效果/百度视图切换/领英动画/折卡效果/卡牌拖动翻页/滚动悬浮视图/侧滑形变效果/评分条/打印机特效/Masonry/生命周期/响应者链条/引导页/通知中心/抖动密码框/余额宝数字跳动/UIDynamic/碰撞行为/捕捉行为/推动行为/附着行为/动力元素行为/GCD/KVC&KVO/多继承/消息转发/二维码/MVC/MVP/MVVM/Router/Viper | ||||||||||
| Ios Architecture | 731 | 6 years ago | 3 | mit | Swift | |||||
| A collection of iOS architectures - MVC, MVVM, MVVM+RxSwift, VIPER, RIBs and many others | ||||||||||
| Viper | 691 |  | 1 | 11 | a year ago | 34 | March 29, 2023 | mit | C# | |
| Viper 是一个基于Anno微服务引擎开发的Dashboard示例项目。Anno 底层通讯采用 grpc、thrift。自带服务发现、调用链追踪、Cron 调度、限流、事件总线等等 | ||||||||||
| Gin Web | 548 | 2 years ago | 4 | mit | Go | |||||
| 由gin + gorm + jwt + casbin组合实现的RBAC权限管理脚手架Golang版, 搭建完成即可快速、高效投入业务开发 | ||||||||||
| Swift Viper Module | 514 | 5 years ago | 14 | Swift | ||||||
| Xcode template for VIPER Architecture written in Swift 4 | ||||||||||
| Anno.core | 413 |  | 8 | 2 years ago | 28 | August 12, 2023 | 1 | apache-2.0 | C# | |
| Anno 是一个微服务快速开发框架，底层通讯可选用grpc、thrift。自带服务发现、调用链追踪、Cron 调度、限流、事件总线、CQRS 、DDD，插件化开发。 | ||||||||||
| Viperit | 412 | 1 | 4 years ago | 21 | October 01, 2019 | 3 | mit | Swift | ||
| Viper Framework for iOS using Swift | ||||||||||
| Boilerplate | 351 | 8 years ago | 2 | Swift | ||||||
| Select the right architecture and functional reactive programming framework | ||||||||||
Alternatives To Prusti DevSelect To Compare
Alternative Project Comparisons
Popular Viper Projects
Popular Frameworks Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Rust
Viper