GitHub repository: project-oak/silveroak
Primary language: Coq
Description: Formal specification and verification of hardware, especially for security and privacy.