porcuquine / lurk-rs Goto Github PK
View Code? Open in Web Editor NEWThis project forked from 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/
License: Apache License 2.0