# viperproject/gobra

<https://repo.masters-masters.com/en/repos/viperproject/gobra>

[Home](https://repo.masters-masters.com/en) › [viperproject](https://repo.masters-masters.com/en/owners/viperproject) › [gobra](https://repo.masters-masters.com/en/repos/viperproject/gobra)

viperproject/gobra has 232 stars on GitHub. Its RepoMasters card: Prototype tier. Gobra is an automated, modular verifier for Go programs, based on the Viper…

| Field | Value |
| --- | --- |
| Owner | [viperproject](https://repo.masters-masters.com/en/owners/viperproject) |
| Stars | 232 |
| Forks | 45 |
| Language | [Scala](https://repo.masters-masters.com/en/languages/scala) |
| License | None |
| Created | 2020 |
| Topics | go, golang, verification |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [viperproject/gobra](https://github.com/viperproject/gobra) |

## Repository

Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by viperproject

- [viperproject/silicon · ★ 151 · Scala · Prototype](https://repo.masters-masters.com/en/repos/viperproject/silicon)
- [viperproject/silver · ★ 100 · Scala · Prototype](https://repo.masters-masters.com/en/repos/viperproject/silver)

## Nearby in Scala

- [Comcast/ip4s · ★ 232 · Scala · Prototype](https://repo.masters-masters.com/en/repos/Comcast/ip4s)
- [zio-archive/zio-sql · ★ 232 · Scala · Prototype](https://repo.masters-masters.com/en/repos/zio-archive/zio-sql)
- [harana/search · ★ 232 · Scala · Prototype](https://repo.masters-masters.com/en/repos/harana/search)
- [codeport/scala · ★ 232 · Scala · Prototype](https://repo.masters-masters.com/en/repos/codeport/scala)
- [sbt/sbt-fresh · ★ 232 · Scala · Prototype](https://repo.masters-masters.com/en/repos/sbt/sbt-fresh)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.