Pinned Loading

1. argotorg/hevm argotorg/hevm Public

   Symbolic and concrete EVM execution engine

   Haskell 327 73

2. argotorg/act argotorg/act Public

   Smart contract specification language

   Haskell 262 46

3. weird-erc20 weird-erc20 Public

   weird erc20 tokens

   Solidity 1.7k 213

4. dapphub/dapptools dapphub/dapptools Public

   Dapp, Seth, Hevm, and more

   Haskell 2.1k 324