Common EVM smart contracts similar to solady/solmate, formally verified using Tama + Verity - View it on GitHub