Pinned

1. dapphub/dapptools Public

   Dapp, Seth, Hevm, and more

   Haskell 1.9k 320

2. dapphub/klab Public archive

   K framework proof explorer & smart contract specification format

   JavaScript 121 36

3. runtimeverification/evm-semantics Public

   K Semantics of the Ethereum Virtual Machine (EVM)

   Python 441 126

4. stablecoin.services Public

   A gas free offering of common Dai and Chai operations

   JavaScript 34 7

5. ethereum/act Public

   Smart contract specification language

   Haskell 142 25

6. dapphub/chai Public

   ERC20 wrapper over the Dai Savings Rate

   Solidity 140 31