GitHub repository: yp945/ola-lang
Description: Ola is a provable language for writing smart contracts