GitHub repository: vzaliva/helix
Primary language: Coq
Description: Formally verified operator language and rewriting engine for high-performance computing