In case you don't know, Limit Theory developer Josh Parnell said in his last update video (http://www.youtube.com/watch?v=IqT1Lr6dnLs&feature=em-subs_digest) that the first port of LT to Linux has been realized.
Limit Theory is a crowdfunded Space Sim whose universe is based around the concept of procedural content generation: nearly everything in LT, according to the developer words, will be computer generated (quests, solar systems, enemies, nebulas, etc.) allowing the player to play in an almost infinite and ever-changing environment, generated and re-generated in real time.
The game is still in its early stages and it's not available for purchase yet but nevertheless it looks very promising and definitely worth to keep an eye on.
Check it out!
Official website: http://www.ltheory.com/
Patreon
PayPal