Yeah, they have a proof of concept code up on their github, only started on it in the past few weeks though. Up till now it's all been math and research.
1. https://blog.ethereum.org/2016/03/05/serenity-poc2/ 2. https://github.com/ethereum/casper 3. https://github.com/ethereum/pyethereum/pull/791