This is stars and forks stats for /ConsenSys/secureum-diligence-bootcamp repository. As of 29 Apr, 2024 this repository has 33 stars and 5 forks.
Secureum X Diligence bootcamp: Writing Scribble Specifications and Using Diligence Fuzzing (November 3–9, 2022) This bootcamp is a collaboration between Secureum and ConsenSys Diligence. We will teach participants how to specify custom correctness properties for smart contracts using our Scribble language. We will also introduce them to our Diligence Fuzzing service (DF) and show them how to use fuzzing to find property violations automatically. Schedule Day 1 (November 3, 2022) course kick-off and...
Secureum X Diligence bootcamp: Writing Scribble Specifications and Using Diligence Fuzzing (November 3–9, 2022) This bootcamp is a collaboration between Secureum and ConsenSys Diligence. We will teach participants how to specify custom correctness properties for smart contracts using our Scribble language. We will also introduce them to our Diligence Fuzzing service (DF) and show them how to use fuzzing to find property violations automatically. Schedule Day 1 (November 3, 2022) course kick-off and...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
yalesites-org/component-library-twig | TwigSCSSJavaScript | 3 | 0 | 0 | 0 |
rocketseat-education/nlw-copa-ignite | TypeScriptJavaScriptCSS | 101 | +1 | 70 | 0 |
fabioarnold/zeroman | ZigJavaScriptHTML | 83 | 0 | 5 | 0 |
naver/lispe | CC++JavaScript | 311 | 0 | 7 | 0 |
Azure/osdu-bicep | BicepShellJavaScript | 3 | 0 | 6 | 0 |
superseriousbusiness/gotosocial | GoJavaScriptCSS | 3.1k | +11 | 279 | +3 |
cardenizen/testSectionTracking | GroovyJavaScriptOther | 1 | 0 | 0 | 0 |
mecuboi/purrfection | JavaScriptHandlebarsCSS | 0 | 0 | 1 | 0 |
pumasecurity/serverless-prey | HCLC#Shell | 226 | 0 | 43 | 0 |
JordanSchuetz/LearnCS8-Resume | HTMLSCSSJavaScript | 6.9k | 0 | 143 | 0 |