This is stars and forks stats for /Certora/Tutorials repository. As of 06 May, 2024 this repository has 209 stars and 181 forks.
Certora Tutorials for CVL1 For CVL2 tutorials please refer to https://docs.certora.com/projects/tutorials This repo can be used with certora-cli version 3.6. To install use pip install certora-cli==3.6.8.post3 For CVL2 please refer to what's New and Examples Hello and welcome to Certora's beginner's course! This course is designed to get you started with Certora's Software as a Service called Certora Prover. The Certora Prover is a tool with an underlying technology based on 30 years of research...
Certora Tutorials for CVL1 For CVL2 tutorials please refer to https://docs.certora.com/projects/tutorials This repo can be used with certora-cli version 3.6. To install use pip install certora-cli==3.6.8.post3 For CVL2 please refer to what's New and Examples Hello and welcome to Certora's beginner's course! This course is designed to get you started with Certora's Software as a Service called Certora Prover. The Certora Prover is a tool with an underlying technology based on 30 years of research...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| ash2k/bazel-tools | StarlarkGoShell | 55 | 0 | 22 | 0 |
| matteocrippa/awesome-swift | Ruby | 23.7k | 0 | 3.1k | 0 |
| weitieda/bottom-sheet | SwiftRuby | 746 | 0 | 52 | 0 |
| HeroTransitions/Hero | SwiftMakefileRuby | 21.6k | 0 | 1.7k | 0 |
| openhwgroup/core-v-mcu | SystemVerilogCC++ | 146 | 0 | 51 | 0 |
| RedisInsight/RedisInsight | TypeScriptSCSSRich Text Format | 3.8k | 0 | 233 | 0 |
| AzureAD/microsoft-authentication-library-for-js | TypeScriptJavaScriptC++ | 3.2k | +5 | 2.5k | -1 |
| vector-im/element-web | TypeScriptHTMLJavaScript | 10.1k | 0 | 1.8k | 0 |
| kiali/kiali | TypeScriptGoShell | 3.2k | 0 | 468 | 0 |
| tradingview/lightweight-charts | TypeScriptJavaScriptHTML | 7k | +94 | 1.4k | +3 |