gnosis / solidity-arithmetic
A solidity library for performing arithmetic.
☆16Updated 5 years ago
Alternatives and similar repositories for solidity-arithmetic:
Users that are interested in solidity-arithmetic are comparing it to the libraries listed below
- 📑 Documentation generator for Solidity☆25Updated 3 years ago
- Translations of standard contracts from Solidity to Vyper.☆12Updated 6 years ago
- zDai.io - confidential Dai transactions on Burner wallet☆29Updated 5 years ago
- price feed, with expiration and medianizer poke☆32Updated 3 years ago
- ☆25Updated 2 years ago
- ☆22Updated 2 years ago
- The Ethereum Research companion: research summary, impacts, specifications, status, resources, implementations☆16Updated 6 years ago
- Tricking frontrunners into doing good☆42Updated 2 years ago
- ☆28Updated 2 years ago
- Meta Conneeeeeect☆13Updated 6 years ago
- Refactor your solidity 0.4.X contracts to work with solidity 0.5.X☆25Updated 6 years ago
- Plasma Cash, written in Vyper☆11Updated 5 years ago
- Gasless Dai transfers for browser & Node.js☆22Updated 2 years ago
- Simple m-of-n multisig proxy written in handcrafted EVM bytcode☆21Updated 7 years ago
- Advanced functionality for ERC20 tokens, as abstract inheritable contracts☆20Updated 2 years ago
- POC construction of superlight client for Ethereum Proof of Stake using interactive bisection games☆38Updated last year
- Easy to use Vyper debugger | vdb (https://github.com/ethereum/vyper)☆28Updated 5 years ago
- A personal economies smart contract protocol.☆18Updated 6 years ago
- Repository to verify contributions to the AZTEC Ignition ceremony☆15Updated last year
- [DEPRECATED] ENS Login hackthan project for ETHBerlin 2019☆17Updated 5 years ago
- Online ERC20 verifier based on tinchoabbate's slither-scripts☆13Updated 5 years ago
- Minimal Ethereum delegatecall proxies☆22Updated 2 years ago
- EVM performance tests for a range of clients☆24Updated 5 years ago
- ☆16Updated 2 years ago
- A javascript library for working with typed structured data as defined by EIP712☆29Updated 2 years ago
- Minimalist optimistic rollup tech☆13Updated 3 years ago
- A Solidity implementation of a VDF verifier contract☆16Updated last year
- Huff implementation of the BabyJubJub curve☆13Updated 5 years ago
- formal verification of multicollateral dai in the K framework☆14Updated 3 years ago
- An Alfred workflow with Ethereum utilities☆12Updated 4 years ago