federicobond / solidity-spec
A Solidity spec suite to test parsers for language compliance.
☆11Updated 7 years ago
Alternatives and similar repositories for solidity-spec:
Users that are interested in solidity-spec are comparing it to the libraries listed below
- ⏱ Testing tool: Block & time management over RPC☆14Updated 5 years ago
- Smart Contract tools to help streamline Ethereum dapp development and deployment☆14Updated 7 years ago
- Elastify the Ethereum blockchain☆25Updated 6 years ago
- Notes and stuff related to the study group☆15Updated 8 years ago
- A really resilient Ethereum log awaiter in typescript☆14Updated 6 years ago
- An Ethereum Name Service interface module built on EthJS☆34Updated 2 years ago
- All your dApp / App essentials for working with Ethereum.☆18Updated 2 years ago
- Single API for resolving Solidity artefacts and imports☆32Updated 2 years ago
- Static Websites on the Distributed Web☆33Updated last year
- Archanova monorepo☆19Updated 5 years ago
- Solidity compiler wraper to generate JS.☆15Updated 2 years ago
- 0x Protocol v2 Audit☆25Updated 5 years ago
- State Machine☆18Updated 6 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
- Solidity Parser for Solium☆29Updated last year
- Advanced functionality for ERC20 tokens, as abstract inheritable contracts☆20Updated 2 years ago
- Javascript Library used to evaluate natspec expressions☆16Updated 5 years ago
- replay a historical tx using a web3 provider as a data source☆14Updated 5 years ago
- Ethereum Package Registry☆13Updated 8 years ago
- 🔏 Simple Keystore Generator☆12Updated 6 years ago
- ☆15Updated 5 years ago
- Multi Network Identifier - spec and reference implementation☆36Updated 3 years ago
- 👉 A simple bot to poke Polaris☆14Updated 5 years ago
- The Reactive Bond API☆12Updated 6 years ago
- Solidity implementation of partial merkle tree for a light weight side chain execution verification☆13Updated 5 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- Admin toolkit for incentive-following software daemons☆19Updated 8 years ago
- The Bond API.☆27Updated 6 years ago
- Javascript library for EthPM package manifest and registry operations☆13Updated 2 years ago
- Testbed for p2p metamask client☆22Updated 5 years ago