My university had us program in c++ with resolve. Which looks very similar to the contract stuff here.