-
-
-
nine Public
Forked from NethermindEth/nineDistributed AI agents that work everywhere with no-code UI
Rust MIT License UpdatedFeb 26, 2025 -
-
-
-
awesome-folding Public
Forked from lurk-lab/awesome-foldingA curated list of zero-knowledge folding schemes
Creative Commons Zero v1.0 Universal UpdatedJan 14, 2025 -
keccak-circom-gadget Public
Forked from lurk-lab/keccak-circom-gadgetImplementation of a Circom Gadge for the Keccak hasing algorithm.
JavaScript GNU General Public License v3.0 UpdatedJan 31, 2024 -
rust-hex Public
Forked from KokaKiwi/rust-hexA basic crate to encode values to hexadecimal representation. Originally extracted from rustc-serialize.
Rust Apache License 2.0 UpdatedDec 4, 2023 -
starknet-api Public
Forked from starkware-libs/starknet-apiRust Apache License 2.0 UpdatedDec 4, 2023 -
cairo-vm Public
Forked from lambdaclass/cairo-vmcairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another th…
Rust Apache License 2.0 UpdatedNov 27, 2023 -
zkevm-circuits Public
Forked from privacy-scaling-explorations/zkevm-circuitsRust Other UpdatedAug 11, 2023 -
poseidon-circuit Public
Forked from scroll-tech/poseidon-circuitPoseidon hash circuit
Rust Apache License 2.0 UpdatedApr 11, 2023 -
-
starknet.js Public
Forked from starknet-io/starknet.jsJavaScript library for StarkNet
TypeScript MIT License UpdatedDec 6, 2022 -
nile Public
Forked from OpenZeppelin/nileCLI tool to develop StarkNet projects written in Cairo
Python MIT License UpdatedNov 11, 2022 -
haskell-z3 Public
Forked from IagoAbal/haskell-z3Haskell bindings to Microsoft's Z3 API (unofficial).
Haskell Other UpdatedAug 8, 2022 -
{{ message }}