xujiahuayz / yieldAggregatorsLinks
SoK - Yield Aggregators in DeFi
☆8Updated 2 years ago
Alternatives and similar repositories for yieldAggregators
Users that are interested in yieldAggregators are comparing it to the libraries listed below
Sorting:
- Resources from paper "(In)Stability for the Blockchain: Deleveraging Spirals and Stablecoin Attacks"☆18Updated 3 years ago
- State-of-the-art about program verification on Ethereum DApps☆22Updated last year
- Code for Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited☆25Updated 4 years ago
- TradR.fun is a free and opensource cryptocurrency price signal prediction application.☆19Updated 4 years ago
- ☆16Updated 3 years ago
- Visor specific Uniswap v3 managed position analytics☆30Updated 2 years ago
- ☆24Updated 2 years ago
- ☆12Updated 4 years ago
- Runtime verification tool for Solidity smart contracts.☆34Updated 2 years ago
- My Cornell PhD dissertation: Scaling the Infrastructure of Practical Blockchain Systems☆15Updated 3 years ago
- Guess what☆77Updated 2 years ago
- Arbitrage Keeper on OasisDEX and Uniswap V1☆90Updated 4 years ago
- Analysis tool for Solidity smart contracts. Prototype.☆36Updated last year
- Minimal Ethereum RPC Client in Rust☆11Updated last year
- Maker Keeper Framework: Set of tools to analyze market maker keepers performance.☆34Updated 3 years ago
- Designing Secure Cryptography☆22Updated 6 years ago
- A toolbox for zkSNARKS on Ethereum☆12Updated 6 years ago
- EVM Bytecode Super Optimizer☆36Updated 4 years ago
- ☆18Updated 3 years ago
- This is solc-verify, a modular verifier for Solidity.☆52Updated last year
- Python library for high frequency market data processing.☆16Updated 2 years ago
- TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation☆14Updated 2 years ago
- Crosschain Arbitrage opportunity graph☆26Updated 4 years ago
- Miner extractable value modeling and tools.☆66Updated 3 years ago
- EVM performance tests for a range of clients☆24Updated 5 years ago
- Guide to auditing EVM smart contracts using tools☆22Updated 2 years ago
- 基于Python的开源量化交易平台开发框架☆21Updated 3 years ago
- Crypto DEX monitor for atomic arbitrage trading☆13Updated 6 years ago
- A synthetic evm bytecode generation library and cmdline utility to fuzz the ethereum stack machine☆25Updated 6 years ago
- An EVM interpreter in Dafny☆131Updated 9 months ago