jamesjhansen's Stars
argumentcomputer/lurk-beta
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. (contact: @porcuquine)
anonimitoraf/skerrick
REPL-driven development for NodeJS
donnemartin/system-design-primer
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
filecoin-project/rust-fil-proofs
Proofs for Filecoin in Rust