GitHub repository: vzaliva/vellvm
Primary language: Coq
Description: The Vellvm II coq development.