This is stars and forks stats for /viperproject/gobra repository. As of 06 May, 2024 this repository has 85 stars and 24 forks.
Gobra is a prototype verifier for Go programs, based on the Viper verification infrastructure. We call annotated Go programs Gobra programs and use the file extension .gobra for them. A tutorial can be found in docs/tutorial.md. More examples can be found in src/test/resources. Compile and Run Gobra Preliminaries Java 64-Bit (tested with version 11 and 15) SBT (tested with version 1.4.4) Git Installation Install Z3 and Boogie. Steps (iii) and (iv) are specific to Boogie and only necessary when using...
Gobra is a prototype verifier for Go programs, based on the Viper verification infrastructure. We call annotated Go programs Gobra programs and use the file extension .gobra for them. A tutorial can be found in docs/tutorial.md. More examples can be found in src/test/resources. Compile and Run Gobra Preliminaries Java 64-Bit (tested with version 11 and 15) SBT (tested with version 1.4.4) Git Installation Install Z3 and Boogie. Steps (iii) and (iv) are specific to Boogie and only necessary when using...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
tier4/AWSIM | C#Other | 352 | 0 | 46 | 0 |
zen-lang/zen | ClojureOther | 107 | +1 | 12 | 0 |
varunKT001/awesome-javascript-projects | CSSHTMLJavaScript | 39 | 0 | 40 | 0 |
davidgasquez/datadex | Jupyter NotebookOther | 126 | 0 | 10 | 0 |
spawnfest/collywobble | ElixirCSSShell | 2 | 0 | 0 | 0 |
spawnfest/tres-web | ElixirHTMLCSS | 4 | 0 | 0 | 0 |
dunglas/frankenphp | GoCDockerfile | 3.5k | +34 | 121 | +7 |
Jeffail/tunny | Go | 3.7k | 0 | 324 | 0 |
roadrunner-server/roadrunner | GoShellDockerfile | 7.4k | 0 | 401 | 0 |
dunglas/frankenphp-demo | HTMLPHPOther | 69 | 0 | 9 | 0 |