spalladino / erc20-verifierLinks
Online ERC20 verifier based on tinchoabbate's slither-scripts
☆13Updated 5 years ago
Alternatives and similar repositories for erc20-verifier
Users that are interested in erc20-verifier are comparing it to the libraries listed below
Sorting:
- Fast and lightweight build tool for Solidity.☆23Updated 2 years ago
- Plasma Cash, written in Vyper☆11Updated 5 years ago
- Maker Governance Rewards.☆10Updated 4 years ago
- (Aragon 1) Buidler plugin for Aragon App development☆24Updated 2 years ago
- An Alfred workflow with Ethereum utilities☆12Updated 4 years ago
- A pooled liquidity contract for participating in the upcoming MKR auction at a "backstop" price of 1 MKR per 100 Dai.☆29Updated 5 years ago
- A pooled liquidity contract for participating in the upcoming MKR auction at a "backstop" price of 1 MKR per 100 Dai.☆13Updated 2 years ago
- Advanced functionality for ERC20 tokens, as abstract inheritable contracts☆20Updated 2 years ago
- ☆14Updated 5 years ago
- 📑 Documentation generator for Solidity☆26Updated 3 years ago
- A gas free offering of common Dai and Chai operations☆33Updated 2 years ago
- Medianizer 2☆16Updated 2 years ago
- Security considerations for EIP 1884☆12Updated 5 years ago
- Aragon app integrated with the Compound Finance protocol.☆13Updated 2 years ago
- Everything you need to create your first account abstraction contract in one place☆30Updated 4 years ago
- A minimal meta-transaction library. It supports proxy accounts & the msgSender() solution.☆45Updated last year
- Yearn v2 Strategies for Idle.finance☆20Updated last year
- Tool for overriding Ethereum transactions stuck in the pool☆16Updated 3 years ago
- formal verification of multicollateral dai in the K framework☆15Updated 3 years ago
- 👾 A mutation testing tool for Solidity contracts☆48Updated 6 years ago
- 🐹☆18Updated 2 years ago
- Token Sale example implementing GasToken Factory methods☆19Updated 7 years ago
- The source code, implementation spec, and Agreement of the Aragon Network.☆13Updated 4 years ago
- ☆22Updated 2 years ago
- Typescript library for generating solidity and javascript code to handle tightly packed ABI structures.☆10Updated 5 years ago
- Test UI for Yearn yVaults☆10Updated 3 years ago
- Simple m-of-n multisig proxy written in handcrafted EVM bytcode☆21Updated 7 years ago
- A data structure to perform weighted sortition in Solidity.☆21Updated last year
- Refactor your solidity 0.4.X contracts to work with solidity 0.5.X☆25Updated 6 years ago
- Gasless Dai transfers for browser & Node.js☆22Updated 2 years ago