GitHub repository: lurk-lab/lurk-rs
Primary language: Rust
Description: Lurk is a Turing-complete programming language for recursive zk-SNARKs.  It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.