argumentcomputer/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.
RustApache-2.0
Stargazers
- a2468834
- alvin-reyes@protocol
- AnderssorbySopra Steria
- arpunk@esl
- cmontella@mech-lang
- dumblob
- echoboss
- evaporei@iSeatz
- expede🧙🏻♀️ Witchcraft Software
- goaaronSan Francisco, California
- gregrperkinsEmerald Hills, CA
- guotiebitnexty
- han0110Taiwan
- HTseaaat
- jamesjhansen
- jimpickHexCamp
- joaogui1
- johnchandlerburnhamArgument Computer Corporation
- kanejMolendinar Solutions Limited
- marcinjangrzybowski
- mchakravartyUtrecht
- morganthomasManchester, NH
- mutalisk999@mutalisk @NJU
- nikitavoloboevTbilisi
- nujz
- paulip1792
- plotnickOxide Computer Company
- sambacha@manifoldfinance
- samuelburnham
- spartucusweb3 world
- tkersey@thisisartium
- TristanCacquerayRed Hat
- walkah@fission-codes
- Wondertan@celestiaorg
- xz-cn
- zongzi531Hangzhou, China