You can use the trading platform veritaseum
Looks like it's closed source and complicated to use. I wouldn't install that.
It is complicated if you want to do complicated trades. Shorting bitcoin there is very simple. Are bitfinex or OKCoin open source
