Pinned Loading

1. dapphub/dapptools dapphub/dapptools Public

   Dapp, Seth, Hevm, and more

   Haskell 2.1k 323

2. dapphub/klab dapphub/klab Public archive

   K framework proof explorer & smart contract specification format

   JavaScript 124 32

3. runtimeverification/evm-semantics runtimeverification/evm-semantics Public

   K Semantics of the Ethereum Virtual Machine (EVM)

   Python 543 153

4. stablecoin.services stablecoin.services Public

   A gas free offering of common Dai and Chai operations

   JavaScript 32 7

5. argotorg/act argotorg/act Public

   Smart contract specification language

   Haskell 251 44

6. dapphub/chai dapphub/chai Public

   ERC20 wrapper over the Dai Savings Rate

   Solidity 148 27