An extended "Standard Library" for Coq. [coqdoc]
Automation for Iris
Iris with transfinite step-indexing