Não seria um compilador de C?
Se for um compilador vc pode instalar o gcc no linux (acho que jah vem instalado), que sem querer puxar pro lado do linux, é o melhor compilador que existe. E também existem IDES para trabalhar com C, no gnome eu uso u anjuta.