parketh
Follow
Stars
Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows
An autonomous agent for deep financial research
Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
Lean 4 programming language and theorem prover
A modern UI component library for Solana apps, built on the Wallet Standard.
A Rust-based implementation for LRC-20 on Bitcoin. "YUV" is a nickname for LRC-20.
Utilities for Bitcoin and RGB++ asset integration
Synthetics platform for Starknet, inspired by GMX v2 design.
Blazing fast toolkit for developing Starknet contracts.
A curated list of awesome Uniswap v3 resources
DEPRECATED in favor of https://github.com/madara-alliance/madara
A minimal template for building smart contracts with Cairo 1.0
Community maintained Cairo libraries and set of well maintained, optimised and secure components.
Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀
Zero-Knowledge Proof Systems Circuit Compiler
Collection of examples to explore Merkle Patricia Trees as used in Ethereum
A smart contract implementation of the Ethereum light client sync protocol
A stateless trustless Starknet light client in Rust 🦀
A fast, secure, and portable multichain light client for Ethereum
ctc is a tool for collecting and analyzing historical data of Ethereum and other EVM chains