dapp.org is a research and development collective focused on safety and
correctness in Ethereum smart contract development.
If you are interested in working with us, contact us at: email@example.com.
Projects we've been involved with in the past include:
Smart contract development
sai: single collateral dai
dss: multi collateral dai
dappsys: smart contract library
dapp: smart contract project management
seth: command line ethereum client
hevm: fast evm implementation and debugger
klab: K framework proof explorer & smart contract specification format