https://github.com/mmastrac/oblivious-cpu/blob/master/hidecp...
I was thinking about turning it into a full language at some point, but they beat me to it (and I love the Rust syntax!).