Attack Surface Management & Red Team Simulation Platform 互联网攻击面管理&红队模拟平台
Simple, lightweight, extensible, configuration management library for Go. Support for JSON, TOML, YAML, env, command line, file, S3 etc. Alternative to viper.
A static verifier for Rust, based on the Viper verification infrastructure.