ConsenSysDiligence / armletLinks
a MythX API client wrapper
☆17Updated 10 months ago
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☆48Updated 6 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
- ☆22Updated 2 years ago
- Documentation for the any.sender transaction relaying service☆57Updated 4 years ago
- ERC20 merkle proof snapshot. Does not require a server. Gas costs minimal.☆16Updated 6 years ago
- Online ERC20 verifier based on tinchoabbate's slither-scripts☆13Updated 5 years ago
- MythX smart contract security verification plugin for Truffle Framework☆127Updated 3 years ago
- SOLTIX: Scalable automated framework for testing Solidity compilers.☆38Updated 3 years ago
- Smart contract mocking tool☆59Updated 4 years ago
- the EIP and reference implementation which we will submit to the EIP repo.☆40Updated 7 years ago
- Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.☆60Updated 4 years ago
- Relevant Bonding Curve and Token Contracts☆77Updated 7 years ago
- A Python library for the MythX smart contract security analysis platform☆33Updated last year
- Test and development helper methods and scripts for GSN☆21Updated 5 years ago
- Medianizer 2☆16Updated 2 years ago
- a mechanism for incentivizing full nodes☆24Updated 6 years ago
- Generate & verify Merkle-Patricia-proofs for Ethereum☆111Updated 2 years ago
- zDai.io - confidential Dai transactions on Burner wallet☆29Updated 6 years ago
- A pooled liquidity contract for participating in the upcoming MKR auction at a "backstop" price of 1 MKR per 100 Dai.☆30Updated 5 years ago
- Intentionally self-destructive Ethereal on-chain-ish Wallet. (Proof-of-Concept bootstrap technique with CREATE2)☆35Updated 6 years ago
- A collection of Solidity libraries for building secure and gas-efficient smart contracts on Ethereum.☆86Updated 6 years ago
- Smart contracts able to interact with Kleros☆87Updated 11 months ago
- Fully collateralised vanilla and bounded (capped call and floored put) crypto options☆16Updated 4 years ago
- Visualize your Aragon DAO Templates☆29Updated last year
- Compile Solidity source code and verify its bytecode matches the blockchain☆89Updated last year
- integrate signed message recovery directly in your contracts☆37Updated 6 years ago
- ☆34Updated 4 years ago
- Random research and simulations☆16Updated 6 years ago
- Bonding Curves For DAOs☆76Updated 4 years ago