Harder-Narasimhan filtrations for Breuil-Kisin-Fargues modules

We define and study Harder-Narasimhan filtrations on Breuil-Kisin-Fargues modules and related objects relevant to p-adic Hodge theory.