GitHub repository: second-state/lity
Primary language: C++
Description: A rule-based contract-oriented high-level language.