repos
19
ecosystems
8
languages
8
commits
237
Top repos · by commits
Repositories
19 totalA developer-friendly CLI wrapper for Noir ZK development that consolidates nargo and bb workflows into a single, opinionated tool.
This project demonstrates common vulnerabilities in DAO governance systems. It contains two practical examples of governance attacks that could be executed against DAOs with vulnerable designs.
ETHGlobal Cannes 2026
ZK verification on Starknet: A privacy-focused dApp using Noir circuits, UltraHonk proofs, & Cairo programs to verify perfect squares without revealing inputs.
A secure, decentralized protocol for trustless subscriptions and automated recurring payments for circles users.
python SDK for Circles
Escrow program on Solana
Treesitter grammer and parser for the Noir Language
Cairo is the first Turing-complete language for creating provable programs for general computation.
OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup
Cairo is the first Turing-complete language for creating provable programs for general computation.
Amalgama Solana Portal
Peer developers
Ecosystems
Languages
- Rust6
- Solidity3
- TypeScript3
- Cairo2
- JavaScript2
- Tree-sitter Query1
- Python1
- C1