Python tool for converting files and office documents to Markdown.

零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP

Decentralized Autonomous Regulated Company (DARC), a company virtual machine that runs on any EVM-compatible blockchain, with on-chain law system, multi-level tokens and dividends mechanism.

Starknet client implementation.

Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup

provides metadata for networkIDs and chainIDs

✅ Low Risk ✅ Trading Automation on Binance Spot 😛

Official electron build of draw.io

Semgrep rules for smart contracts based on DeFi exploits

HTTP/HTTP2/HTTP3/Socks4/Socks5/Shadowsocks/ShadowsocksR/SSH/Redirect/Pf TCP/UDP asynchronous tunnel proxy implemented in Python 3 asyncio.

Free, open source crypto trading bot

🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠

Hey is a decentralized and permissionless social media app built with Lens Protocol 🌿

Crypto Deep Tools a set of scripts for detailed cryptanalysis of the Blockchain network in cryptocurrency Bitcoin

Contracts of the Sismo Badge Minting Protocol

Bootstrap your MEV bot strategies with a simple boilerplate to build on top of.

Safe{Wallet} – smart account wallet

SmartBugs: A Framework to Analyze Ethereum Smart Contracts

EVM-based chain vulnerability analysis framework

A graph based, trait pluggable MEV bundle generator with quadratic gradient descent price optimization implemented in Rust.

Reproduce DeFi hacked incidents using Foundry.

Hacxyk Lab -- A sandboxed playground to exploit Ethereum contracts on a mainnet fork

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.