Is OpenVex a dead project?

[mvcisback]

Hello,
I recently stumbled upon Open Vex and think it is a very solid implementation on the Pic controllers (hoping for Cortex support but w/e).

Anyway I was wondering if the only working repo is the one at http://personalpages.tds.net/~jwbacon/Ports/distfiles/ or if there is a public repo where one can commit changes (like a git.) If not I'd be happy to maintain it

P.S. Does anyone know how to detect competition start signals and what not. I figure its just a serial call however if there is a working method no need to reinvent the wheel