how to compiler

Hi, I want to know whether the l4re and fiasco.oc have some practical application which is open source. I want to build some useful pkg application for demo. The example like "Hello, world" is too small.thanks.