GitHub repository: yatima-inc/yatima
Primary language: Lean
Description: A zero-knowledge Lean4 compiler and kernel