GitHub repository: parasail-lang/parasail
Primary language: Ada
Description: Parallel Specification and Implementation Language