stalangermin's repositories
sybil-wallet-list
sybil-wallet-list
cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
Language:RustApache-2.0000
genesis
declaration of genesis
000
gno
Gno language & gno.land chain
Language:GoNOASSERTION000
layerzero-sybil-report
Layerzero sybil report
Language:Python000
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
GPL-3.0000
Language:RustGPL-3.0000
rs-soroban-sdk
Rust SDK for Soroban Contracts.
Apache-2.0000
snarkVM
A Virtual Machine for Zero-Knowledge Executions
Apache-2.0000
soroban-docs
Documentation for Soroban
Apache-2.0000
starknet-website
The main repo for starknet.io
000
starknet.js
JavaScript library for StarkNet
MIT000
taiko-client
Taiko's client implementation in Go. 🔧
MIT000
taiko-mono
A decentralized, Ethereum-equivalent ZK-Rollup. 🥁
Language:HTMLMIT000