This is stars and forks stats for /Certora/2023-01-blockswap-fv repository. As of 30 Apr, 2024 this repository has 6 stars and 15 forks.
Code4rena - Blockswap Formal Verification Contest with Certora Total Prize Pool: $30,000 USDC HM awards: $16,500 USDC Injected Bug awards: $10,500 USDC Participation: $3,000 USDC Join C4 Discord to register Register through Certora to gain access to the prover Most information for installing and using the Certora Prover are available here Additional resources to get familiar with the Certora Prover will be emailed to registrants along with their Certora key. Starts January 19, 2023 20:00 UTC Ends...
Code4rena - Blockswap Formal Verification Contest with Certora Total Prize Pool: $30,000 USDC HM awards: $16,500 USDC Injected Bug awards: $10,500 USDC Participation: $3,000 USDC Join C4 Discord to register Register through Certora to gain access to the prover Most information for installing and using the Certora Prover are available here Additional resources to get familiar with the Certora Prover will be emailed to registrants along with their Certora key. Starts January 19, 2023 20:00 UTC Ends...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| stnolting/neorv32-formal | VHDLShellMakefile | 5 | 0 | 1 | 0 |
| aaronzirbes/vim-files | Vim ScriptShell | 6 | 0 | 7 | 0 |
| axiom-crypto/axiom-eth | RustYulOther | 71 | 0 | 22 | 0 |
| axiom-crypto/axiom-apps | SolidityShell | 33 | 0 | 7 | 0 |
| planet-x3/px3_ose | AssemblyMakefileShell | 37 | 0 | 4 | 0 |
| liaojack8/AndroidKiller | BatchfileShellSmali | 267 | 0 | 57 | 0 |
| ColdBox/coldbox-platform | ColdFusionJavaScriptOther | 293 | 0 | 171 | 0 |
| roqua/developer | CSSRubyHTML | 0 | 0 | 0 | 0 |
| AbdulRahmanAlHamali/flutter_typeahead | DartCMakeC++ | 732 | 0 | 314 | 0 |
| ibnHatab/cwmp | ErlangXSLTOther | 7 | 0 | 1 | 0 |