Gavin Wood's C++ implementation of the Ethereum yellowpaper. - View it on GitHub