Repository containing single-use code relevant to the K framwork