OpenZeppelin Contracts is a library for secure smart contract development.

Modern, opinionated, and gas optimized building blocks for smart contract development.

Solidity library for advanced fixed-point math

Contracts of EigenLayer

Loose collection of Solidity example code

Open-Source Libraries for Solidity by ABDK Consulting

Solidity gotchas, pitfalls, limitations, and idiosyncrasies.

A solidity library for Ethereum's RLP decoding

Template repository intended to ease fuzzing components of Solidity projects, especially libraries.

In-EVM Mina State Verification

Radicle contracts on Ethereum

ZKM Development Template/Framework

RLP encoding in Solidity

Design and code prototypes for a system of forking oracle-enshrined L2 ledgers

Fuzzing the Poseidon and MiMC smart contracts from the CircomLibJS Repo