Pinned Repositories
arecibo
An advanced fork of Nova (contact:@huitseeker)
awesome-folding
A curated list of zero-knowledge folding schemes
bellpepper
SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
LSpec
A Testing Framework for Lean
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)
lurk-lisp
Lisp implementation of Lurk.
neptune
Rust Poseidon implementation (contact: @porcuquine)
solidity-verifier
Solidity implementation of Nova proving system verifier
yatima
A zero-knowledge Lean4 compiler and kernel
yatima-lang-alpha
A programming language for the decentralized web
Argument's Repositories
argumentcomputer/Nova.lean
argumentcomputer/Wasm.lean
A WebAssembly implementation in Lean4
argumentcomputer/Bellanova.lean
argumentcomputer/YatimaStdLib.lean
argumentcomputer/halo2curves
argumentcomputer/ec-gpu
OpenCL code generator for finite-field arithmetic over arbitrary prime fields
argumentcomputer/Lurk.lean
A Lean 4 implementation of the Lurk Language for recursive zkSNARKS
argumentcomputer/yatima
A zero-knowledge Lean4 compiler and kernel
argumentcomputer/FFaCiL.lean
Finite Fields and Curves in Lean
argumentcomputer/sp-cid
Cid library for no_std use within Substrate
argumentcomputer/Poseidon.lean
A Lean 4 implementation of the Poseidon zkSNARK-friendly hash function
argumentcomputer/LightData
A lightweight serialization format
argumentcomputer/printiest
A pretty printer for Lean 4
argumentcomputer/Blake3.lean
Lean4 bindings to the Blake3
argumentcomputer/yatima-lang-alpha
A programming language for the decentralized web
argumentcomputer/OpenSSL.lean
OpenSSL bindings for Lean
argumentcomputer/lurk-emacs
Emacs IDE functionality for lurk
argumentcomputer/Vero
argumentcomputer/abomonation
A mortifying serialization library for Rust
argumentcomputer/LurkFF.lean
A Lean library for finite fields used by the Lurk language
argumentcomputer/radiya.rs
A Rust implementation of the Lean kernel
argumentcomputer/libipld
Rust IPLD library
argumentcomputer/bellperson-nonnative
Non-native arithmetic for SNARKs
argumentcomputer/ff
Traits and utilities for working with finite fields.
argumentcomputer/Parsec.lean
Parser combinators for Lean
argumentcomputer/melpa
Recipes and build machinery for the biggest Emacs package repo
argumentcomputer/Http.lean
Basic Http functionality in Lean (unfinished)
argumentcomputer/collaborations
A repository to support ongoing Lurk collaborations
argumentcomputer/lurk-web-utils
Tools for developing Lurk on the web
argumentcomputer/Socket.lean
A toy implementation of socket programming for Lean 4.