Pinned Loading

1. smartdec/smartcheck smartdec/smartcheck Public

   SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).

   HTML 362 89

2. smartdec/classification smartdec/classification Public

   Classification of smart contract vulnerabilities

   82 13

3. s-tikhomirov/smart-contract-languages s-tikhomirov/smart-contract-languages Public

   A curated collection of resources on smart contract programming languages

   239 28

4. smartkek/dai-insured smartkek/dai-insured Public

   Incentivized bots prevent CDP liquidation – no trust required

   Solidity 10 1