Home Original page

MrChico - Overview

Skip to content

Navigation Menu

Sign in

Appearance settings

View MrChico's full-sized avatar

Organizations

@ethereum @dapphub

Block or report MrChico

Pinned Loading

  1. Dapp, Seth, Hevm, and more

    Haskell 2.1k 323

  2. K framework proof explorer & smart contract specification format

    JavaScript 124 31

  3. K Semantics of the Ethereum Virtual Machine (EVM)

    KCL 579 155

  4. A gas free offering of common Dai and Chai operations

    JavaScript 32 7

  5. Smart contract specification language

    Haskell 269 49

  6. ERC20 wrapper over the Dai Savings Rate

    Solidity 147 27