This is stars and forks stats for /NethermindEth/horus-checker repository. As of 29 Apr, 2024 this repository has 53 stars and 6 forks.
Formal verification of StarkNet smart contracts with language annotations Report bug ยท Request feature Introduction Horus is a command-line formal verification tool for StarkNet contracts. - **Note.** Horus is currently in alpha, and thus should not be fully trusted yet! - Our documentation Installation - Get the horus-compile and horus-check executables setup for your development environment. Tutorial: Your first verified StarkNet contract - Try this if you're new to Horus or...
Formal verification of StarkNet smart contracts with language annotations Report bug ยท Request feature Introduction Horus is a command-line formal verification tool for StarkNet contracts. - **Note.** Horus is currently in alpha, and thus should not be fully trusted yet! - Our documentation Installation - Get the horus-compile and horus-check executables setup for your development environment. Tutorial: Your first verified StarkNet contract - Try this if you're new to Horus or...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
InfinityZ25/dedsafio-terraform | HCLShell | 4 | 0 | 1 | 0 |
waylaidwanderer/node-chatgpt-api | JavaScriptDockerfile | 4k | 0 | 716 | 0 |
OpenLightingProject/open-fixture-library | JSONJavaScriptVue | 144 | 0 | 53 | 0 |
defaultnamehere/verylegit.link | CSSPythonHTML | 1.3k | 0 | 46 | 0 |
romainneutron/MediaVorus | CSSPHPPython | 28 | 0 | 9 | 0 |
toss/yarn-standard-workspace | EJSJavaScriptShell | 44 | 0 | 7 | 0 |
ibnHatab/env-at-picon | Emacs LispPythonErlang | 0 | 0 | 0 | 0 |
db-ui/base | HandlebarsCSSSCSS | 8 | 0 | 4 | 0 |
apache/linkis | JavaScalaRuby | 3.1k | 0 | 1.1k | 0 |
AlaSQL/alasql | JavaScriptYaccHTML | 6.7k | 0 | 642 | 0 |