federicobond / soli
A set of utilities (currently in alpha) for exploring Solidity contracts
☆23Updated 6 years ago
Alternatives and similar repositories for soli:
Users that are interested in soli are comparing it to the libraries listed below
- 👾 A mutation testing tool for Solidity contracts☆48Updated 6 years ago
- A Solidity linter written in JS☆32Updated 7 years ago
- Inspection and debugging for Ethereum Smart Contract events☆19Updated 6 years ago
- zDai.io - confidential Dai transactions on Burner wallet☆29Updated 6 years ago
- A repo for all the #CryptoLife Hackathon submissions, The National House Smichov, Prague, 26-28th October 2018.☆23Updated 6 years ago
- Translations of standard contracts from Solidity to Vyper.☆12Updated 6 years ago
- Building a decentralised p2p meta-tx relayer network [MVP] Codename: Harbour ## We solved this problem: https://medium.com/tabookey/1-800…☆30Updated 5 years ago
- Token Sale example implementing GasToken Factory methods☆19Updated 6 years ago
- Beacon chain visualizer for ETH2.0☆14Updated 5 years ago
- Automatic market maker with batched buy & sell orders☆32Updated 2 years ago
- A zkSNARK tutorial and development environment☆16Updated 7 years ago
- Simple Ethereum event tracking☆54Updated 7 years ago
- auth_os beta platform build☆19Updated 6 years ago
- Simple Aragon App forwarder that requires a user to deposit fees before executing an action☆11Updated 4 years ago
- Tool for overriding Ethereum transactions stuck in the pool☆16Updated 2 years ago
- 🇳🇱✖️DutchX core smart contracts☆45Updated 5 years ago
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange☆46Updated 6 years ago
- Maker Keeper Framework: Keeper to actively manage open CDPs.☆28Updated 2 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…☆50Updated 2 years ago
- Repo deprecated/moved. See https://github.com/wslyvh/contraktor☆12Updated 4 years ago
- Plasma Cash: Towards Improved Plasma Constructions.☆50Updated 6 years ago
- Open source library for registry smart contracts☆30Updated 3 years ago
- ✨A trustless price oracle for ERC20 tokens☆31Updated 6 years ago
- Continuous Splitting Token Auction☆21Updated 3 years ago
- Cross-chain swaps with metatransactions☆18Updated 2 years ago
- Advanced functionality for ERC20 tokens, as abstract inheritable contracts☆20Updated 2 years ago
- Meta Conneeeeeect☆13Updated 6 years ago
- a mechanism for incentivizing full nodes☆24Updated 6 years ago
- 📑 Documentation generator for Solidity☆26Updated 3 years ago
- Template for implementing Plasma child chains with Truebit☆50Updated 7 years ago