It's Ofront for Linux modified by VEDAsoft Oberon Club. Ofront(TM) is an Oberon2-to-C Translator. Ofront for Linux is a version of Ofront for i386 based Linux systems.