Include nice-looking Solidity examples into LaTeX files

A Foundry library for deploying and managing upgradeable smart contracts

Powers fast, private, decentralized applications

A library of modern, hyper-optimized, and extensible Huff contracts with extensive testing and documentation built by Huff maintainers.

Practical tutorials of Certora Prover

Code library & pdf for team competitions - University of Warsaw team 1

code423n4.com source code

Static analyzer for solidity contracts based on regexs specifically crafted for code4rena contests