Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Gobra

Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
Stars
87
License
other
Open Issues
95
Most Recent Commit
5 months ago
Programming Language
Scala
Categories
Site
Repo
Suggest An Alternative To gobra
Popular Viper Projects
Viper ⭐ 25,027
Go configuration with fangs
dependent packages 19,261total releases 93latest release December 08, 2023most recent commit 5 months ago
Ribs ⭐ 7,591
Uber's cross-platform mobile architecture framework.
dependent packages 9total releases 26latest release November 27, 2023most recent commit 6 months ago
Popular Sbt Projects
Scala ⭐ 14,238
Scala 2 compiler and standard library. Bugs at https://github.com/scala/bug; Scala 3 at https://github.com/lampepfl/dotty
dependent packages 64,746total releases 210latest release September 06, 2023most recent commit 5 months ago
Sbt ⭐ 4,737
sbt, the interactive build tool
dependent packages 290total releases 128latest release October 22, 2023most recent commit 5 months ago
Popular Frameworks Categories
Laravel
Django
Ruby On Rails
Spring
Express
Spring Boot
Flask
Nextjs
Play Framework
Symfony
Related Searches
Scala Sbt
Scala Symbolic
Scala Carbon
Scala Viper
Sbt Symbolic
Symbolic Viper
Carbon Viper

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Golang
Scala
Sbt
Carbon
Viper
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.