yep, eniac and univac were the the first publicly known computers. it became known later that turing’s work predated eniac.