Pinned Loading
-
argumentcomputer/lurk-beta
argumentcomputer/lurk-beta PublicLurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp. (contact: @porcuquine)
-
argumentcomputer/yatima-lang-alpha
argumentcomputer/yatima-lang-alpha Public archiveA programming language for the decentralized web
-
argumentcomputer/yatima
argumentcomputer/yatima PublicA zero-knowledge Lean4 compiler and kernel
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.