Insane
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!
Phantm
In short, Phantm is a type checker for PHP applications, but it does also much more!
PHP
I sporadically contributes to the core of PHP for quite a while now, see my patch repository.