551. delphi💥 Earn Rewards for Saving and Liquidity Provision (work in progress)
557. uniswap-oracleA general purpose price feed oracle built on Uniswap v2 that uses merkle proofs under the hood.
559. protocolThe Aventus Protocol as originally described in the white paper at https://aventus.io/doc/whitepaper.pdf
561. splitA protocol for splitting ERC20 tokens into their yield, governance and capital components
564. smartbugsSmartBugs: A Framework to Analyze Solidity Smart Contracts
566. taylorMeasure twice, cut once. Lisp-like functional language for computable & immutable specifications, interpreted by WebAssembly & the Ethereum Virtual Machine.
568. multisolCLI application for verifying Solidity contracts on Etherscan
571. metamorphicA factory contract for creating metamorphic (i.e. redeployable) contracts.
573. dharma-tokenImplementation and testing for core Dharma Token (dToken) contracts, including Dharma Dai and Dharma USD Coin.
582. erc20-generatorA simple Smart Contract for a Standard, Mintable, Burnable, Payable ERC20 Token with Minter Role.
594. GNNSCVulDetectorSmart Contract Vulnerability Detection Using Graph Neural Networks (IJCAI-20 Accepted)
595. ohmfork-autoclaimautomatically claim and restake vested bonds (mints) from SnowbankDAO, KlimaDAO, Wonderland, and other OlympusDAO forks
599. polygon-boxBoilerplate code for deploying contracts to the Polygon Matic PoS network.