GitHub repository: EtaDAOeth/DJED
Primary language: TypeScript
Description: A Formally Verified Crypto-Backed Pegged Algorithmic Stablecoin