ERC4626 Property Tests
☆214Jul 29, 2025Updated 7 months ago
Alternatives and similar repositories for erc4626-tests
Users that are interested in erc4626-tests are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Foundry template for the Optimizor Club SQRT challenge☆57Nov 2, 2022Updated 3 years ago
- ERC4626 vaults to ease interaction with Morpho Optimizers.☆43Dec 18, 2025Updated 3 months ago
- ERC-4626 wrappers for common yield-generating platforms☆145Jan 18, 2025Updated last year
- Symbolic EVM in Rust (WIP)☆87Dec 23, 2023Updated 2 years ago
- Math library written in solidity for statistical function approximations like the Normal Cumulative Distribution Function.☆119Dec 4, 2023Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Experimental hybrid/cross-chain ERC4626 vaults☆52Jan 20, 2023Updated 3 years ago
- Rolling Liquidity Vault: an ERC4626 compliant vault, passive liquidity vault built atop Sense Space Pools☆28Jul 27, 2023Updated 2 years ago
- ☆20Oct 20, 2022Updated 3 years ago
- pseudonymous transfers of Ether tokens using create2 & selfdestruct()☆32Oct 27, 2022Updated 3 years ago
- A collection of useful bash scripts for ChainOps and more☆84Nov 5, 2022Updated 3 years ago
- A blazing-fast helper library for convenient Solidity dynamic arrays☆125Jan 12, 2024Updated 2 years ago
- CAPTCHAs for NFTs.☆69Nov 7, 2022Updated 3 years ago
- ☆14Sep 24, 2022Updated 3 years ago
- ☆286Jan 19, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Use the EVM cache state to shim transient storage☆20Feb 9, 2023Updated 3 years ago
- A Solidity static analyzer to identify contract vulnerabilities and gas efficiencies.☆429Nov 17, 2023Updated 2 years ago
- Data structures used by Morpho Optimizer.☆114Dec 22, 2024Updated last year
- 🛠️ Easily track & compare gas costs estimated by Foundry on each of your Pull Requests!☆208Apr 4, 2025Updated 11 months ago
- Using ERC-4626 as Vault (with yearn v2 strategy)☆52Feb 8, 2022Updated 4 years ago
- Variable Rate Gradual Dutch Auctions.☆303Apr 4, 2023Updated 2 years ago
- ☆87Sep 16, 2023Updated 2 years ago
- ☆28Sep 27, 2022Updated 3 years ago
- ☆51Sep 24, 2022Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Minimal ERC4626-style tokenized Vault implementation with ERC1155 accounting.☆65Mar 27, 2022Updated 4 years ago
- Contracts for my flashloan workshop/lecture at UPenn☆77Nov 13, 2022Updated 3 years ago
- Delegatecall from any contract. A kind of vm.prank for delegatecalls.☆18Sep 10, 2024Updated last year
- A symbolic testing tool for EVM smart contracts☆981Aug 6, 2025Updated 7 months ago
- easy POC template generation from the command line☆324Jan 10, 2024Updated 2 years ago
- ☆34Nov 3, 2022Updated 3 years ago
- This is my solution. If you think you can further optimize it - be my guest!☆22Oct 8, 2022Updated 3 years ago
- ☆164Jul 30, 2023Updated 2 years ago
- v2 implementation of the Yield Protocol debt vaults☆163Aug 1, 2023Updated 2 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Heuristics for smart contract auditors☆613Dec 13, 2022Updated 3 years ago
- Merkle Proof Generator and Validator in Solidity☆503Feb 27, 2025Updated last year
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Sep 4, 2022Updated 3 years ago
- Allow voting on governance by ERC20 and ERC4626 holders☆48Jun 27, 2022Updated 3 years ago
- optimized queue datastructure☆32Jul 26, 2022Updated 3 years ago
- An reference implementation of Gradual Dutch Auctions. GDAs enable the efficient sale of assets that do not have liquid markets.☆211Oct 22, 2022Updated 3 years ago
- ⚡ Modern, opinionated, and gas optimized base for smart contract development.☆213Jan 1, 2023Updated 3 years ago