The Prelude library