lurk-lab / lurk-rs

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.

Home Page:https://lurk-lang.org/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

lurk-lab/lurk-rs Stargazers