gobra
f-license
gobra | f-license | |
---|---|---|
3 | 4 | |
93 | 767 | |
- | - | |
8.9 | 4.6 | |
6 days ago | 2 months ago | |
Scala | Go | |
GNU General Public License v3.0 or later | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
gobra
- Gobra: Automated, modular verifier for Go, based on Viper verification
-
Prusti: Static Analyzer for Rust
According to the Readme, this is based on a more-general verification framework called Viper, which apparently works for several languages (including Rust): https://www.pm.inf.ethz.ch/research/viper.html
There also appear to be equivalents of this tool in Python ("Nagini" https://www.pm.inf.ethz.ch/research/nagini.html) and Go ("Gobra" https://www.pm.inf.ethz.ch/research/gobra.html).
I'll definitely be checking out Nagini for my work!
-
Gobra: A Program Verifier for Go
It is open-source and available on Github (https://github.com/viperproject/gobra). There is also a VS-Code plugin that allows users to interactively verify their Go programs (https://marketplace.visualstudio.com/items?itemName=viper-admin.gobra-ide).
f-license
What are some alternatives?
AdGuardDNS - Public DNS resolver that protects you from ad trackers
ishell - Library for creating interactive cli applications.
SPARTA - SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
jwt-key-server - JWT based remote licensing server.
jwt - Safe, simple and fast JSON Web Tokens for Go
goffy - A command-line tool for downloading public playlists, albums and individual tracks via Spotify URLs.
jkt48-showroom-cli - JKT48 Showroom CLI - A lightning-fast and lightweight CLI tool to access real-time information and live streams of JKT48 members on Showroom
commands-hive - cli application to store daily use/important commands written in golang
Clear-MachineKeys - Clean (move or delete) Machine Key files from RSA MachineKeys folder.
gnt - Quickly create your Go project in your favorite terminal with `gnt`.
ezcli - ✨ Minimal Go package for create CLI tools in <10 second!
gopayloader - HTTP/S benchmark/load testing cross-platform tool with optional jwt generation - supports HTTP/1.1, HTTP/2, HTTP/3