libFirm is a library that provides an intermediate representation and optimisations for compilers. Programs are represented in a graph based SSA form.
Visit us in #firm on freenode (IRC).