GitHub repository: pratapsingh1729/bedrock2
Primary language: Coq
Description: A work-in-progress language and compiler for verified low-level programming