This is stars and forks stats for /code-423n4/2023-08-gmx-fv repository. As of 12 May, 2024 this repository has 3 stars and 7 forks.
GMX Formal Verification Contest Details Total Prize Pool: $40,000 USDC High/Medium awards: $22,000 USDC Coverage awards: $14,000 USDC Participation awards: $4,000 USDC Join C4 Discord to register Register through Certora to gain access to the prover Resources to get familiar with the Certora Prover will be emailed to registrants along with their Certora key. Learn about GMX Starts August 07, 2023 20:00 UTC Ends August 28, 2023 20:00 UTC Incentives The total reward will be split into three categories:...
GMX Formal Verification Contest Details Total Prize Pool: $40,000 USDC High/Medium awards: $22,000 USDC Coverage awards: $14,000 USDC Participation awards: $4,000 USDC Join C4 Discord to register Register through Certora to gain access to the prover Resources to get familiar with the Certora Prover will be emailed to registrants along with their Certora key. Learn about GMX Starts August 07, 2023 20:00 UTC Ends August 28, 2023 20:00 UTC Incentives The total reward will be split into three categories:...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
zkBob/zkbob-contracts | SolidityOther | 64 | 0 | 19 | 0 |
GenerationSoftware/pt-v5-vault | SolidityGherkin | 14 | 0 | 9 | 0 |
aspect-build/rules_jest | StarlarkJavaScriptHCL | 12 | 0 | 10 | 0 |
willianrod/ODeck | TypeScriptPythonJavaScript | 319 | +1 | 15 | 0 |
manuelernestog/astropod | AstroJavaScriptTypeScript | 67 | 0 | 18 | 0 |
openchatai/OpenCopilot | TypeScriptPHPPython | 2.8k | +141 | 178 | +8 |
nanobyte-dev/nanobyte_os | CAssemblyPython | 343 | +1 | 52 | 0 |
zerojiu/pro-cmake | CMakeC++Batchfile | 17 | 0 | 44 | 0 |
kiddkai/atom-node-debugger | CoffeeScriptJavaScriptCSS | 265 | 0 | 65 | +1 |
dulaiduwang003/TIME-SEA-chatgpt | VueJavaScriptJava | 217 | 0 | 58 | 0 |