Symbolic and concrete EVM execution engine

This repo contains a comprehensive list of smart contract auditor tools and techniques that can be utilized by both smart contract auditors and blockchain developers for developing secure smart con…

Buttercup finds and patches software vulnerabilities

The behavioural indexer for Ethereum.

Portable file server with accelerated resumable uploads, dedup, WebDAV, SFTP, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file

Aave's V3 Protocol on Aptos

Client for receiving shreds from Jito network

Solana Arbitrage Bot cross dex like Raydium, Orca, Meteora swap program with rust language architecture using anchor frame work