DoubleEndedQueue库提供了双向队列的数据结构及对应操作库函数，提供了队头或队尾插入及弹出元素值等逻辑功能。本库采用优化过的storage存储且所有操作的时间复杂度都是O(1)。特别要注意的是库中的clear操作仅仅将队头和队尾指针清零，而之前队列中的元素值依然留存在storage中

BitMaps库开发了一种存储更紧凑且高效的mapping(uint256=>bool)。传统的mapping(uint256=>bool)中一个slot只能存储一个键值对的bool值信息，而改用了BitMaps.BitMap数据结构后，一个slot理论上最多可以存256个键值对的bool值信息。

SignedSafeMath库就是直接对solidity内置的int256类型的加减乘除运算的函数封装。

SignedMath库提供了solidity中尚未内置的标准有符号数的数学运算方法。

SafeMath库是对solidity中uint256的加、减、乘、除和取模运算的一层封装。由于solidity 0.8之前的uint256运算是不做溢出检查，许多基于0.8版本之前的项目都会使用该库。0.8版本之后solidity编译器内置了整形数溢出检查，所以SafeMath库也不再被广泛使用。

Checkpoints库定义了History、Trace224和Trace160结构体。这些结构体中包含了在各个不同的区块高度或自定义key上记录的数值并可以查询出对应区块高度或key上的记录值。Checkpoints库提供了标准的添加记录、查询记录的库方法。

SafeCast库提供了solidity的基础整数类型uintX和intX之间的类型安全转换的库方法。在不同的类型转换之间都加入溢出检查，如果一旦在转换过程中出现类型的溢出会立刻revert。

Math库为合约开发提供了solidity内置的uint256运算以外的其他整形运算方法。solidity内置的整形运算，每一步都会做overflow revert（除非unchecked{}），而Math库会在不影响结果准确性的前提下利用位溢出进行更加tricky的操作。

Create2库本质就是对EVM opcode CREATE2进行的一个封装，可以让开发者在非内联汇编环境下直接使用该opcode。 CREATE2是一种可提前计算合约部署地址的合约部署opcode。而传统的合约部署是通过opcode CREATE完成的。

Multicall库提供了一个multicall(bytes[] calldata data)方法，通过该方法可以由调用者在一笔交易中自由组合调用本合约的各个可外部调用的方法。