Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Carbon	24	3 months ago	157	mpl-2.0	Scala
Verification-condition-generation-based verifier for the Viper intermediate verification language.
Vipergen	5	4 years ago			Swift
A VIPER module generation tool written in Swift

Alternatives To Vipergen

Select To Compare

Carbon ⭐ 24

Verification-condition-generation-based verifier for the Viper intermediate verification language.

most recent commit 3 months ago

Vipergen ⭐ 5

A VIPER module generation tool written in Swift

most recent commit 4 years ago

Suggest An Alternative To Vipergen

Alternative Project Comparisons

Vipergen vs Carbon

Popular Generation Projects

Httpx ⭐ 11,772

A next generation HTTP client for Python. 🦋

dependent packages 3,751total releases 66latest release November 24, 2023most recent commit 3 months ago

Relax ⭐ 8,286

New generation CMS on top of React, Redux and GraphQL

most recent commit 3 years ago

Ios Developer Roadmap ⭐ 6,292

Roadmap to becoming an iOS developer in 2018.

most recent commit 3 months ago

Sqlboiler ⭐ 6,256

Generate a Go ORM tailored to your database schema.

dependent packages 145total releases 99latest release August 18, 2023most recent commit 3 months ago

Pdf Lib ⭐ 5,930

Create and modify PDF documents in any JavaScript environment

dependent packages 334total releases 85latest release November 06, 2021most recent commit 3 months ago

Popular Viper Projects

Viper ⭐ 25,027

Go configuration with fangs

dependent packages 19,261total releases 93latest release December 08, 2023most recent commit 3 months ago

Ribs ⭐ 7,591

Uber's cross-platform mobile architecture framework.

dependent packages 9total releases 26latest release November 27, 2023most recent commit 4 months ago

Go Gin Api ⭐ 5,139

基于 Gin 进行模块化设计的 API 框架，封装了常用功能，使用简单，致力于进行快速的业务研发。比如，支持 cors 跨域、jwt 签名验证、zap 日志收集、panic 异常捕获、trace 链路追踪、prometheus 监控指标、swagger 文档生成、viper 配置文件解析、gorm 数据库组件、gormgen 代码生成工具、graphql 查询语言、errno 统一定义错误码、gRPC 的使用、cron 定时任务等等。

dependent packages 1total releases 23latest release November 28, 2021most recent commit 4 months ago

Viper ⭐ 3,385

Redteam operation platform with webui 图形化红队行动辅助平台

most recent commit 4 months ago

Koanf ⭐ 2,200

Simple, extremely lightweight, extensible, configuration management library for Go. Support for JSON, TOML, YAML, env, command line, file, S3 etc. Alternative to viper.

dependent packages 893total releases 68latest release April 12, 2023most recent commit 3 months ago

Popular Software Development Categories

Continuous Integration

Functional Programming

Developer Tools

Generation

Jenkins

Continuous Deployment