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