ConsenSysDiligence / armletLinks
a MythX API client wrapper
β17Updated last year
Alternatives and similar repositories for armlet
Users that are interested in armlet are comparing it to the libraries listed below
Sorting:
- Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.β70Updated 5 years ago
- πΎ A mutation testing tool for Solidity contractsβ47Updated 7 years ago
- Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.β60Updated 5 years ago
- Exercises to go along with smart contract security workshops by MythX and ConsenSys Diligenceβ39Updated 4 years ago
- CLI client for the MythX APIβ20Updated 2 years ago
- ENS the fun and easy way; like a box of cereal, there is a toy at the bottom.β37Updated 2 years ago
- MythX smart contract security verification plugin for Truffle Frameworkβ127Updated 3 years ago
- Fast and lightweight build tool for Solidity.β23Updated 2 years ago
- Medianizer 2β16Updated 2 years ago
- Online ERC20 verifier based on tinchoabbate's slither-scriptsβ13Updated 5 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
- Boilerplate and tests for the first Solidity Gas Golfing Contestβ51Updated 7 years ago
- A Python library for the MythX smart contract security analysis platformβ32Updated last year
- Intentionally self-destructive Ethereal on-chain-ish Wallet. (Proof-of-Concept bootstrap technique with CREATE2)β35Updated 6 years ago
- Automatic market maker with batched buy & sell ordersβ32Updated 2 years ago
- Displaying ETH transactions to an Ethereum Address as a Leaderboardβ12Updated last year
- The information of the Fellowship of Ethereum Magiciansβ93Updated 5 years ago
- SOLTIX: Scalable automated framework for testing Solidity compilers.β37Updated 4 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)β78Updated 6 years ago
- β39Updated 5 years ago
- Documentation for the any.sender transaction relaying serviceβ57Updated 5 years ago
- πΎ Interactive coding challenges to test and apply your knowledgeβ74Updated 2 years ago
- β34Updated 5 years ago
- Generate & verify Merkle-Patricia-proofs for Ethereumβ111Updated 2 years ago
- β22Updated 2 years ago
- Bonding Curves For DAOsβ76Updated 4 years ago
- This repository tests the upgradeable proxy pattern.β52Updated 7 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)β103Updated 2 years ago
- β¨A trustless price oracle for ERC20Β tokensβ31Updated 6 years ago
- A curated list of all Ethereum Obituaries.β60Updated this week