I’ve just released the source code to icbd, which is the predecessor to Pyston. The project is dead now (though the code works and could be picked up by anyone sufficiently interested), but I thought it might be of interest. (Also, it runs slower in PyPy than in CPython, so I wanted to give it to the PyPy guys.)
There are more technical details on the Github repo, so if you’re interested in static compilation of type inference for Python, I encourage you to take a look! But then again, there’s a reason I gave up on the project and moved on to a JIT instead.