Solidity, the Smart Contract Programming Language

A book on all things Foundry, available at https://book.getfoundry.sh.

Forge Standard Library is a collection of helpful contracts for use with forge and foundry. It leverages forge's cheatcodes to make writing tests easier and faster, while improving the UX of cheatc…

Manage and switch between Solidity compiler versions

A binary lifter and analysis framework for Ethereum smart contracts

A Datalog interpreter implementing the Well-Founded semantics.

A curated list of data mining papers about fraud detection.

Must-read papers on graph neural networks (GNN)