Maker, Synthetic, Band Protocol, and Augur are the top DeFi platforms in terms of developer activity.