-
indexmap Public
Forked from indexmap-rs/indexmapA hash table with consistent order and fast iteration; access items by key or sequence index
Rust Apache License 2.0 UpdatedMar 14, 2025 -
linera-protocol Public
Forked from linera-io/linera-protocolMain repository for the Linera protocol
Rust Apache License 2.0 UpdatedNov 25, 2024 -
zk-light-clients Public
Forked from argumentcomputer/zk-light-clientsA collection of ZK light client libraries for various blockchains. (contact: @tchataigner)
Rust UpdatedNov 21, 2024 -
sphinx Public
Forked from argumentcomputer/sphinxAn observatory fork of SP1 (contact: @huitseeker)
Rust Apache License 2.0 UpdatedNov 19, 2024 -
linera-tx-generator Public
Forked from lurk-lab/linera-tx-generatorThe goal for this repository is to create a binary that can generate linera transactions against a given network according to some test cases.
Rust UpdatedNov 7, 2024 -
-
criterion.rs Public
Forked from huitseeker/criterion.rsStatistics-driven benchmarking library for Rust
Rust Apache License 2.0 UpdatedApr 30, 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.
-
-
bellpepper-gadgets Public
Forked from lurk-lab/bellpepper-gadgetsA library of gadgets compatible with bellpepper and bellperson
Rust MIT License UpdatedMar 4, 2024 -
-
-
-
solidity-verifier Public
Forked from lurk-lab/solidity-verifierSolidity implementation of Nova proving system verifier
Solidity Apache License 2.0 UpdatedDec 14, 2023 -
bellpepper Public
Forked from lurk-lang/bellpepperSNARK Circuit library
Rust Other UpdatedDec 11, 2023 -
-
madara Public
Forked from keep-starknet-strange/madara🥷🩸 Madara is a ⚡ blazing fast ⚡ Starknet sequencer, based on substrate, powered by Rust 🦀
Rust MIT License UpdatedSep 12, 2023 -
zaun Public
Forked from keep-starknet-strange/zaunsolidity contracts for the StarkNet Decentralized Protocol proposal
Solidity Apache License 2.0 UpdatedSep 12, 2023 -
-
-
builtin-actors Public
Forked from filecoin-project/builtin-actorsThe Filecoin built-in actors
Rust Other UpdatedApr 3, 2023 -
bacalhau-airflow-provider Public
Forked from enricorotundo/bacalhau-airflow-providerAn Apache Airflow Provider for Bacalhau (a Compute over Data framework)
Python UpdatedJan 25, 2023 -
-
guild.xyz Public
Forked from guildxyz/guild.xyzA tool for token-curated communities.
TypeScript UpdatedOct 24, 2022 -
wagmi-magic-connector Public
Forked from EveripediaNetwork/wagmi-magic-connectorwagmi connector to connect with Magic SDK
TypeScript UpdatedOct 18, 2022 -
ref-fvm Public
Forked from filecoin-project/ref-fvmReference implementation of the Filecoin Virtual Machine [v0, beta]
Rust Other UpdatedAug 17, 2022 -
keccak256-circom Public
Forked from vocdoni/keccak256-circomkeccak256 hash implementation in Circom
JavaScript GNU General Public License v3.0 UpdatedApr 24, 2022 -
graphene Public
Repository for the Graphene project for the NFTHack 2022
JavaScript UpdatedJan 16, 2022 -
-
{{ message }}