CARMI - Compiler for Automatic Reactive Modelling of Inference - View it on GitHub