The first public release of the SimplicityHL standard library has landed! From the changelog:
The initial release with checked arithmetic operations for
u8,u16,u32,u64, andu128;
OP_RETURNdetection utilities;
implementation ofand,or,not, andxorbinary operators;
basic numeric assertions;
and equality and conversion operators forsecp256k1points.
You can also read rendered documentation for all the standard library functions on the developer documentation website.