I'm currently working on a scala compiler plugin that performs interprocedural, compositional effect and pointer analysis on arbitrary scala programs!
Feel free to check out Insane on github!
In short, Phantm is a type checker for PHP applications, but it does also much more!
I sporadically contributes to the core of PHP for quite a while now, see my patch repository.
I made a trip to Norway last summer with a friend: pretty amazing land.
We took some pictures using cheap and broken cameras. However, some of them are decent, and I created a slideshow on flickr:
[http://www.colder.ch/norway http://www.colder.ch/norway]