RealmCraft is a port from a mobile game, that looks done right. It has procedurally generated infinity world, a lot of different blocks and blueprints, and well i think steam needed a good minecraft game =)

Now that i think about it, can RealmCrafts procedurally generated infinity world be called bigger than say, No Mans Sky also procedurally generated, but not infinite ? So, can something we cant really measure be thought of as bigger than something we can measure only i theory ? =)