Project Name	Stars	Most Recent Commit	Total Releases	Latest Release	Open Issues	License	Language
Nagini	205	3 months ago			22	mpl-2.0	Python
Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
Hotbuild	190	a year ago	14	March 01, 2022		other	Go
a cross platform hot compilation tool for golang

Alternatives To Nagini

Select To Compare

Nagini ⭐ 205

Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.

most recent commit 3 months ago

Hotbuild ⭐ 190

a cross platform hot compilation tool for golang

total releases 14most recent commit a year ago

Suggest An Alternative To nagini

Alternative Project Comparisons

Nagini vs Hotbuild

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 Build Tool Projects

Create React App ⭐ 101,801

Set up a modern web app by running one command.

dependent packages 43,626total releases 135latest release April 12, 2022most recent commit 16 days ago

Vite ⭐ 64,233

Next generation frontend tooling. It's fast!

dependent packages 53,046total releases 482latest release December 06, 2023most recent commit 18 days ago

Webpack ⭐ 63,881

A bundler for javascript and friends. Packs many modules into a few bundled assets. Code Splitting allows for loading parts of the application on demand. Through "loaders", modules can be CommonJs, AMD, ES6 modules, CSS, Images, JSON, Coffeescript, LESS, ... and your custom stuff.

dependent packages 226,953total releases 831latest release October 13, 2023most recent commit 3 months ago

Parcel ⭐ 42,931

The zero configuration build tool for the web. 📦🚀

dependent packages 5,144total releases 693latest release December 07, 2023most recent commit 3 months ago

Turbo ⭐ 24,343

Incremental bundler and build system optimized for JavaScript and TypeScript, written in Rust – including Turbopack and Turborepo.

dependent packages 1,162total releases 406latest release December 07, 2023most recent commit 2 months ago

Popular Frameworks Categories