It's hand written WebGL. You can find it on GitHub: https://github.com/egraether/mine3D