GitHub repository: tpcp-project/vellvm
Primary language: Coq
Description: The Vellvm II coq development.