-
-
Plonky3 Public
Forked from Plonky3/Plonky3A toolkit for polynomial IOPs (PIOPs)
Rust Apache License 2.0 UpdatedJul 5, 2025 -
-
openbsd Public
Forked from openbsd/srcRead-only git conversion of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.
C UpdatedFeb 14, 2025 -
freebsd-src Public
Forked from freebsd/freebsd-srcThe FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....
C Other UpdatedFeb 14, 2025 -
-
netbsd Public
Forked from NetBSD/srcAutomatic conversion of the NetBSD src CVS module, use with care. Please submit bugs/changes via https://gnats.netbsd.org
C UpdatedFeb 14, 2025 -
crypto Public
Forked from kbak/cryptoNaive Haskell implementation of various crypto primitives that make up zkSNARK and STARK.
Haskell UpdatedNov 18, 2024 -
lurk-rs Public
Forked from lurk-lab/lurk-betaLurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
Rust Apache License 2.0 UpdatedMay 14, 2024 -
sp1 Public
Forked from succinctlabs/sp1A performant, 100% open-source, contributor-friendly zkVM.
Rust Apache License 2.0 UpdatedMar 25, 2024 -
rust-runtime Public
A runtime for functional languages
Rust GNU General Public License v3.0 UpdatedMar 10, 2024 -
bellpepper Public
Forked from lurk-lang/bellpepperSNARK Circuit library
Rust Other UpdatedMar 4, 2024 -
-
neptune Public
Forked from lurk-lab/neptuneRust Poseidon implementation.
Rust Other UpdatedJan 3, 2024 -
-
-
-
-
-
-
Formality-CL Public
Formality language implementation in Common Lisp
Common Lisp GNU General Public License v3.0 UpdatedJun 25, 2020
{{ message }}