argumentcomputer/lurk
Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
RustMIT
Stargazers
- adr1anhSwitzerland
- arthurpaulinoBrazil
- wwared
- samuelburnham
- orpheuslummis
- rkm0959
- nullteaBerlin
- apogiatzisLondon, UK
- lonerapierSomewhere but not Here
- flyjghParis, France
- MuhtasimTanmoyEarth
- manijeh-a
- tetsuo-cppMelbourne, Australia
- yazaldefilimone[ rsp + 0x0a ]
- randombitVermont
- losfairShanghai, China
- yugocabrio
- erhantIstanbul
- zicklagUnited States