GitHub repository: lurk-lab/lurk-beta
Primary language: Rust
Description: Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)