Popular repositories Loading

1. defidollar-core defidollar-core Public

   Smart contracts for the DefiDollar ($DUSD) stablecoin.

   JavaScript 100

2. rewards rewards Public

   Symbiotic Rewards Smart Contracts

   Solidity

3. rari-stable-pool-contracts rari-stable-pool-contracts Public

   Smart contracts for the Rari Stable Pool.

   HTML

4. marlowe marlowe Public

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

   Isabelle

5. 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

6. legalmarkdown legalmarkdown Public

   Eris Legal Markdown -- Putting the Contract in Smart Contracts

   Go