PrototypeCommune
viperproject/gobra
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
- Propriétaire
- viperproject (organisation)
- Étoiles
- Étoiles : 229
- Forks
- Forks : 45
- Langage
- Scala
- Licence
- Aucune
- Création
- 2020
- Sujets
- gogolangverification
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de viperproject
Les 3 dépôts de viperproject- viperproject/siliconÉtoiles : 151ScalaPrototype
- viperproject/silverÉtoiles : 100ScalaPrototype
D’autres dépôts Scala
Tous les dépôts Scala- wix-incubator/exodusÉtoiles : 230ScalaPrototype
- alexarchambault/plotly-scalaÉtoiles : 229ScalaPrototype
- databrickslabs/overwatchÉtoiles : 229ScalaPrototype
- debasishg/sjsonÉtoiles : 228ScalaPrototype
- ShellRechargeSolutionsEU/akka-rabbitmqÉtoiles : 228ScalaPrototype