I would like to see it too, and I even referred to it in a comment a few days ago. Did they release the code or just describe it in papers and talks?
A cursory look at the website and Googling says the latter, which is a shame. The research would be more impactful with source code. There's no reason not to release the source, and if you fail to do so, you can't really complain if practitioners don't pick up those techniques :)
I think OMeta was related and that is released, but IMO it's not that practical.
Although I think it's easy to pick on different parts; there's definitely value to having a holistic system and design. But it would be better if we could see all of it instead of just the parts
They did basically achieve it. There's one missing component though: the kernel. One big reason kernels have to be gigantic nowadays is the stupidly high diversity of hardware interfaces. Every USB device, every graphics card, network card, printer… has its own peculiar way of talking to the rest of the computer, and that shorcoming has to be compensated by bolting a driver on top. For each OS.
