Core library for the RepIR project