找道了's starred repositories
mathlib4-all-tactics
Markdown file of the list and explanations of all mathlib4 tactics
lean-graph
Theorem relational dependencies automatic extraction and visualization as a graph for Lean4.
awesome-folding
A curated list of zero-knowledge folding schemes
CryptoHack
My CryptoHack adventure !
ethereum-disassembler
Ethereum disassembler. Binary bytecode -> Opcodes
awesome-algorithmic-game-theory
An Awesome list for resources on algorithmic game theory
LickHunterPRO
Cryptocurrency Trading Bot that looks for large pools of liquidity getting liquidated on margin trading, when it finds these it counter trades them!
New-Bedford
Flash swap liquidation bot for compound.finance + flashbots
understanding-uniswap-v2-contracts
This repo is to understand working of UniswapV2 contracts which I plan to explain by adding comments in contracts
full-blockchain-solidity-course-js
Learn Blockchain, Solidity, and Full Stack Web3 Development with Javascript
learn-solidity-with-examples
A repo full of smart contracts written in solidity
mev-job-board
Need a bot?
JavaScript-Decentralized-Exchange-Triangular-Arbitrage-Bot-v4
JavaScript Decentralized Exchange Triangular Arbitrage Bot v4 work on the ETH,BNB and Polygon Networks
triangular-arbitrage2
a server side application for perform triangular arbitrage.
uniswap-arbitrage-analysis
Uniswap arbitrage problem analysis
bitcoin-abc
Bitcoin ABC develops node software and infrastructure for the eCash project. This a mirror of the official Bitcoin-ABC repository. Please see README.md
samourai-wallet-android
Bitcoin Wallet strongly focused on privacy when transacting on the bitcoin network