Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more →
Top 23 Viper Open-Source Projects
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
koanf
Simple, extremely lightweight, extensible, configuration management library for Go. Support for JSON, TOML, YAML, env, command line, file, S3 etc. Alternative to viper.
-
ios-architecture
A collection of iOS architectures - MVC, MVVM, MVVM+RxSwift, VIPER, RIBs and many others
-
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.
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
VIPER Module Generator
A Swift 4.2 VIPER Module Boilerplate Generator with predefined functions and a BaseViewProtocol.
-
candy
Candy is a CLI tool that offers a fundamental set of commands to streamline your DevOps processes. (by Pradumnasaraf)
-
diego
A CLI tool for importing and utilizing exported social media data from popular services on Hugo websites.
-
ProductDiscovery
A demo project using VIPER architecture and building user interface programmatically
-
VIPER-Xcode-Template
Xcode Template for generating VIPER-B modules: View, Interactor, Presenter, Router and Builder.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
Project mention: Koji je vas odnos prema alternativnim hype-ovanim paradimama programiranja, frameworcima i tehnologijama? | /r/programiranje | 2023-06-14Razliciti alternativni frameworci i arhitekture - Recimo, na pamet mi padaju Composable Architecture (https://github.com/pointfreeco/swift-composable-architecture) i RIBs arhitektura (https://github.com/uber/RIBs). Ok, ove arhitekture resavaju neke probleme. Ali da li problemi koje te arhitekture resavaju solidan developer ne moze sam da resi bez vendor locka za kreatore tih arhitektura. Jesu one open-source, ali meni je rizik da se vezujem za bilo sta sto sutra moze da prestane da se odrzava.
LINK: https://github.com/knadh/koanf
> The overall goal would be to figure out classical error conditions like nill pointers deference.
> If I can figure out if a pointer will be nil in some execution branch, there is no reason why a computer cannot do the same.
Note, this is called flow-sensitive typing (also called type narrowing) and I think that typescript does it.
https://en.wikipedia.org/wiki/Flow-sensitive_typing
> I personally would see this as an human race level upgrades. Imagine feeding your code to a CI that spit back something like: "you will have a panic at line 156 when your input is > 4"
A model checker can do that!
See this
https://model-checking.github.io/kani/tutorial-kinds-of-fail...
Other techniques are also possible
https://github.com/viperproject/prusti-dev#quick-example
(Here I could link a lot of things, I just selected two Rust projects to illustrate)
This works better if you are able to provide contracts in your API that says which guarantees you provide. Alternatively, asserts are useful too.
Project mention: Show HN: Diego – A CLI tool for importing into Hugo exported data from services | news.ycombinator.com | 2024-04-05
This article introduces a more powerful license statement management tool called NWA. It helps you effortlessly add license headers to your code files and also check, update, and remove existing license statements, ensuring the legality and compliance of your code.
Viper related posts
- Trying to find a crate that allows you to constrain the value of arguments in various ways via a proc macro
- AskGPT: CLI tool that allows you to chat with ChatGPT in your terminal like in browser.
- Prusti: Static Analyzer for Rust
- Prusti: Static Analyzer for Rust
- Prusti: Static Analyzer for Rust
- The Prusti static verifier for Rust
- What's your strategy for checking that your code is panic free?
-
A note from our sponsor - InfluxDB
www.influxdata.com | 25 Apr 2024
Index
What are some of the best open-source Viper projects? This list will help you:
Project | Stars | |
---|---|---|
1 | RIBs | 7,670 |
2 | Viper | 3,475 |
3 | koanf | 2,360 |
4 | prusti-dev | 1,460 |
5 | ios-architecture | 1,451 |
6 | iOS-Viper-Architecture | 697 |
7 | Go-Clean-Architecture-REST-API | 641 |
8 | Viperit | 508 |
9 | Marshroute | 222 |
10 | hotbuild | 190 |
11 | ViperC | 79 |
12 | VIPER Module Generator | 71 |
13 | candy | 56 |
14 | ModelAssistant | 27 |
15 | mobile-ios-vipergame | 26 |
16 | diego | 23 |
17 | go-boilerplate | 18 |
18 | ProductDiscovery | 11 |
19 | wonsz | 8 |
20 | notes-rest-api | 5 |
21 | I-VIPER | 2 |
22 | VIPER-Xcode-Template | 2 |
23 | nwa | 2 |
Sponsored