[lima]

There's a number of market markers besides Jump, like Alameda Research.

[benreesman]

I think Wintermute and Efficient frontier also at least dabble.