viperproject / 2vyper
A static verifer for Ethereum Smart Contracts written in Vyper
☆51Updated last year
Alternatives and similar repositories for 2vyper:
Users that are interested in 2vyper are comparing it to the libraries listed below
- CLI tools intended to be use by smart contract developers for general tasks☆67Updated last year
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆58Updated 3 years ago
- ☆76Updated 2 years ago
- Read-only mirror of https://git.vdb.to/cerc-io/tx-spammer (Util for sending different types of txs for testing purposes)☆17Updated 6 months ago
- To be deprecated in favor of https://github.com/flashbots/builder☆45Updated last year
- Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka☆35Updated 5 years ago
- An interactive VSCode extension that enables developers to visualize, debug, and break down Huff contracts.☆49Updated last year
- Sense Space: a YieldSpace implementation with a native yield-bearing side and an oracle☆37Updated 2 years ago
- ☆36Updated 2 years ago
- A gas competition to see who the best optimizor is☆74Updated 2 years ago
- On-chain 8x8 bitmap svg packed into a single 32 byte storage slot.☆65Updated 2 years ago
- A Solidity library designed to cram as many arbitrary values into as small a space as possible.☆44Updated 2 years ago
- ☆50Updated 2 years ago
- A Foundry template to compile and test Huff contracts.☆52Updated 2 years ago
- Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language☆32Updated 2 years ago
- Testing echidna vs. forge fuzzing☆75Updated 2 years ago
- Hands on Blockchain☆43Updated last year
- ERC4626 vaults to ease interaction with Morpho Optimizers.☆45Updated 10 months ago
- ⛳ Template for Forge + EVM Toolkit☆54Updated 2 years ago
- ☆33Updated 2 years ago
- Cross chain call library for Solidity☆81Updated 2 years ago
- proof first, evm specific smt solver☆69Updated 2 years ago
- ☆24Updated 2 years ago
- Visual Studio Code integration for Slither, a Solidity static analysis framework☆34Updated 6 months ago
- ☆77Updated 2 years ago
- a quest for accurate fee accounting☆30Updated 9 months ago
- ☆26Updated last year
- ☆48Updated 3 years ago
- Simulate txs to human readable format☆28Updated 2 years ago
- ☆39Updated 2 years ago