-
gobra
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
-
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.
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).
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a more popular project.