The Kernel Library, for Hydra and DGD.