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