GitHub repository: tannerduve/zkflow
Primary language: Lean
Description: Formally verified compiler from expression language to zero-knowledge circuits in Lean