Popular repositories Loading

1. smartbugs-curated smartbugs-curated Public

   SB Curated is a curated dataset of Solidity smart contracts annotated with tagged vulnerabilities. The dataset was created to evaluate the accuracy of automated analysis tools.

   Solidity 89 185

2. legalmarkdown legalmarkdown Public

   Eris Legal Markdown -- Putting the Contract in Smart Contracts

   Go 88 198

3. rewards rewards Public

   Symbiotic Rewards Smart Contracts

   Solidity

4. rari-stable-pool-contracts rari-stable-pool-contracts Public

   Smart contracts for the Rari Stable Pool.

   HTML

5. marlowe marlowe Public

   Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies