A compiler from RTLola to Solidity through StreamIR
A framework for the compilation of stream-based languages through an intermediate representation