GitHub repository: samiBendou/func-lang
Primary language: Python
Description: A description language for system functional specification