PrototypeCommon
viperproject/gobra
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
- Owner
- viperproject (organization)
- Stars
- Stars: 229
- Forks
- Forks: 45
- Language
- Scala
- License
- None
- Created
- 2020
- Topics
- gogolangverification
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by viperproject
All 3 repos by viperproject- viperproject/siliconStars: 151ScalaPrototype
- viperproject/silverStars: 100ScalaPrototype
Nearby in Scala
All Scala repos- wix-incubator/exodusStars: 230ScalaPrototype
- alexarchambault/plotly-scalaStars: 229ScalaPrototype
- databrickslabs/overwatchStars: 229ScalaPrototype
- debasishg/sjsonStars: 228ScalaPrototype
- ShellRechargeSolutionsEU/akka-rabbitmqStars: 228ScalaPrototype