This is stars and forks stats for /boogie-org/boogie repository. As of 27 Apr, 2024 this repository has 447 stars and 103 forks.
Boogie Boogie is a modeling language, intended as a layer on which to build program verifiers for other languages. Several program verifiers have been built in this way, including the VCC and HAVOC verifiers for C and the verifiers for Dafny, Chalice, Spec#, and Move. For a sample verifier for a toy language built on top of Boogie, see Forro. Boogie is also the name of a tool. The tool accepts the Boogie language as input, optionally infers some invariants in the given Boogie program, and then generates...
Boogie Boogie is a modeling language, intended as a layer on which to build program verifiers for other languages. Several program verifiers have been built in this way, including the VCC and HAVOC verifiers for C and the verifiers for Dafny, Chalice, Spec#, and Move. For a sample verifier for a toy language built on top of Boogie, see Forro. Boogie is also the name of a tool. The tool accepts the Boogie language as input, optionally infers some invariants in the given Boogie program, and then generates...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| gui-cs/Terminal.Gui | C#JavaScriptCSS | 8.6k | 0 | 638 | 0 |
| microsoft/AdaptiveCards | C#C++TypeScript | 1.6k | 0 | 527 | 0 |
| ms-iot/ros_simulation_lab | CMakePython | 7 | 0 | 36 | 0 |
| getmango/Mango | CrystalHTMLJavaScript | 1.6k | 0 | 110 | 0 |
| tabler/tabler-react | CSSJavaScriptOther | 2.2k | 0 | 536 | 0 |
| xtyxtyx/sorry | CSSHTMLRuby | 6.4k | 0 | 794 | 0 |
| CiroLee/html_css_javascript | CSSHTMLJavaScript | 69 | 0 | 18 | 0 |
| NebulaSS13/Nebula | DMPythonHTML | 43 | 0 | 193 | 0 |
| ashleydavis/docker-nodejs-examples | DockerfileTypeScriptJavaScript | 20 | 0 | 42 | 0 |
| DSCKGEC/Codeaon | EJSCSSJavaScript | 1 | 0 | 4 | 0 |