GitHub repository: plum-umd/checkedc
Primary language: Coq
Description: Contributions to Microsoft's Checked C project developed by PLUMmers