Stars
A curated list of awesome ZK resources, libraries, tools and more.
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Go implementation of the Ethereum protocol
CV/resume generator for academics and engineers, YAML to PDF
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.
Cross-chain atomic swap: Monero adaptor signatures + Starknet Cairo contracts with ED25519 MSM verification and DLEQ proofs
A curated list of awesome projects using STWO.
A STARK-provable Bitcoin Script VM with OP_CAT support.
Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.
Powering Verifiable Computation for Nostr Data Vending Machines.
The preconfer sidecar for Taiko Alethia preconfirmations 🥁
A curated list of awesome iOS ecosystem, including Objective-C and Swift Projects
A simple paywall for presenting weekly and annual plans
Free, open source, a high frequency trading and market making backtesting and trading bot, which accounts for limit orders, queue positions, and latencies, utilizing full tick data for trades and o…
A list of Blockchain Security audit companies, solo auditors and location of public audits.
Polymarket's public subgraph manifest for indexing on-chain trade, volume, user, liquidity and market data.
Hibachi Crypto Exchange Trading Python Examples
A ranked list of algorithmic trading open-source libraries, frameworks, bots, tools, books, communities, education materials. Updated weekly.
The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.
An experimental MCP Server for foundry built for Solidity devs
Lightweight coding agent that runs in your terminal