GitHub repository: yatima-inc/yatima-lang
Primary language: Lean
Description: A verifiable computing language