QGarchery
Follow
Stars
Core contracts of Morpho Optimizers on AaveV3
Kontrol Workshop at ETHCC[7]
An open benchmark for evaluating smart contracts verification tools.
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …
Distribute MORPHO as rewards for Morpho users depending on governance choices
Morpho seatbelt for governance setup and proposals.
🎩🪄 Easily deal any amount of any ERC20 tokens to any account on the hardhat network
Challenges to test your smart contract skills.
Vim-fork focused on extensibility and usability
Virtual whiteboard for sketching hand-drawn like diagrams
Allows to easily create tx to be signed through CLI and submitted on a Safe
Easy to use vesting contracts written in Solidity.