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:
- πΎ A mutation testing tool for Solidity contractsβ47Updated 7 years ago
- Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.β70Updated 5 years ago
- CLI client for the MythX APIβ20Updated 2 years ago
- Online ERC20 verifier based on tinchoabbate's slither-scriptsβ13Updated 5 years ago
- ENS the fun and easy way; like a box of cereal, there is a toy at the bottom.β37Updated 2 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)β78Updated 6 years ago
- β22Updated 2 years ago
- Generate & verify Merkle-Patricia-proofs for Ethereumβ111Updated 2 years ago
- Intentionally self-destructive Ethereal on-chain-ish Wallet. (Proof-of-Concept bootstrap technique with CREATE2)β35Updated 6 years ago
- SOLTIX: Scalable automated framework for testing Solidity compilers.β37Updated 4 years ago
- β14Updated 6 years ago
- π°οΈβοΈRecurring delegated execution through an identity proxy with meta transactionsβ43Updated 7 years ago
- β34Updated 5 years ago
- Relevant Bonding Curve and Token Contractsβ77Updated 7 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β¦β49Updated 2 years ago
- β39Updated 5 years ago
- a mechanism for incentivizing full nodesβ24Updated 6 years ago
- ERC20 merkle proof snapshot. Does not require a server. Gas costs minimal.β16Updated 6 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)β102Updated 2 years ago
- Smart Contract Security Guidelinesβ13Updated 6 years ago
- the EIP and reference implementation which we will submit to the EIP repo.β40Updated 7 years ago
- Maker Keeper Framework: Keeper to actively manage open CDPs.β28Updated 2 years ago
- Smart contract mocking toolβ59Updated 5 years ago
- Boilerplate and tests for the first Solidity Gas Golfing Contestβ51Updated 7 years ago
- Dai Stablecoin Systemβ122Updated 5 years ago
- Exercises to go along with smart contract security workshops by MythX and ConsenSys Diligenceβ39Updated 4 years ago
- Automatic market maker with batched buy & sell ordersβ32Updated 2 years ago
- Test and development helper methods and scripts for GSNβ21Updated 5 years ago
- π³π±βοΈDutchX core smart contractsβ45Updated 5 years ago
- Bonding Curves For DAOsβ76Updated 4 years ago