ethereumjs / ethereum-verified-contractsLinks
[DEPRECATED] Ethereum Verified Contracts
☆12Updated 7 years ago
Alternatives and similar repositories for ethereum-verified-contracts
Users that are interested in ethereum-verified-contracts are comparing it to the libraries listed below
Sorting:
- Documentation for the any.sender transaction relaying service☆56Updated 5 years ago
- Exercises to go along with smart contract security workshops by MythX and ConsenSys Diligence☆39Updated 4 years ago
- Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.☆70Updated 5 years ago
- Boilerplate and tests for the first Solidity Gas Golfing Contest☆51Updated 7 years ago
- Pools DAI, converts it into Compound DAI, and sends interests to a beneficiary. Users putting DAI into the pool receives Pooled cDAI (pcD…☆49Updated 2 years ago
- Free translation strings for dapps and crypto wallets.☆44Updated 4 years ago
- Tiramisu is a "Layer Two" system for scalable token transfers that prioritizes simplicity.☆74Updated 2 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆102Updated 2 years ago
- SOLTIX: Scalable automated framework for testing Solidity compilers.☆37Updated 4 years ago
- InstaDApp Smart Contracts.☆62Updated 5 years ago
- a mechanism for incentivizing full nodes☆24Updated 6 years ago
- An IDE for building Code Tutorials☆43Updated 2 years ago
- 💰 Ethereum Wallet Comparison☆54Updated 2 years ago
- ☆39Updated 5 years ago
- Money legos all the way down☆115Updated 5 years ago
- ☆34Updated 5 years ago
- ☆49Updated 2 years ago
- Heiswap Dapp - Mix and Mask your Ethereum Transactions!☆109Updated 2 years ago
- 👾 A mutation testing tool for Solidity contracts☆47Updated 7 years ago
- ERC20 wrapper over the Dai Savings Rate☆148Updated 5 years ago
- Proof of concept for the contracts implementing TPL☆73Updated 3 years ago
- A minimal meta-transaction library. It supports proxy accounts & the msgSender() solution.☆45Updated 2 years ago
- ⏰💰🤠 Set-it-and-forget-it token subscriptions on the Ethereum mainnet. #Winner #WyoHackathon☆79Updated 6 years ago
- Generate & verify Merkle-Patricia-proofs for Ethereum☆111Updated 2 years ago
- Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.☆59Updated 5 years ago
- ✨A trustless price oracle for ERC20 tokens☆31Updated 6 years ago
- Manage assets on Opyn V1 (Convexity).☆46Updated 2 years ago
- Automatic market maker with batched buy & sell orders☆32Updated 2 years ago
- CLI Tool to List & Store Solidity Smart Contract Methods Attributes☆30Updated 3 years ago
- K framework proof explorer & smart contract specification format☆124Updated 4 years ago