How many irrationals are there which are unique upto addition with rationals?

Since the equivalence relation you are considering on $\mathbb{R}$ -- a very classical one, as users have pointed out above -- is none other than the congruence modulo the additive subgroup $\mathbb{Q}$, the cardinality of the quotient set $\mathbb{R}/\mathbb{Q}$ is by definition the index $(\mathbb{R}\colon\mathbb{Q})$ and -- as elementary group theory teaches us -- must therefore satisfy the cardinal relation: $$|\mathbb{R}|=(\mathbb{R}\colon\mathbb{Q})|\mathbb{Q}| \tag{*}.$$

On the right hand side we behold a product of two cardinals, at least one of which is infinite, namely $|\mathbb{Q}|=\aleph_0$. Elementary cardinal theory then tells us that the product of the two will be equal to the larger of the two (by reasons of multiplicative absorption of infinite cardinals). Were this larger cardinal to be equal to $\aleph_0$, we would reach the conclusion that $|\mathbb{R}|=\aleph_0$. On the other hand, any decent course of analysis should have taught us in its opening classes focused on the elementary construction of $\mathbb{R}$ that the cardinal relation $|\mathbb{R}|=2^{\aleph_0}$ holds.

Since by virtue of one of Cantor's famous theorems $2^{\mathbf{x}}>\mathbf{x}$ is valid for any cardinal $\mathbf{x}$, the above made assumption leads to a contradiction. Therefore, the larger of the two cardinals in question on the right hand side of relation $(^{*})$ above must be the index $\left(\mathbb{R} \colon \mathbb{Q}\right)$ and we can finally conclude that $|\mathbb{R}|=\left(\mathbb{R} \colon \mathbb{Q}\right)$.

So not only is this cardinality of equivalence classes uncountably infinite, we actually know which uncountable infinity it is: the power of the continuum.

Every class is of the form $[x]_{\sim}=x+\mathbb{Q}$ where $x$ is irrational, so $[x]$ is countable. Since $\sim$ is an equivalence relation, $\mathbb{R}/_{\sim}$ is a decomposition into disjoint sets, therefore there must exist uncountably many equivalence classes. Your construction is not new and it is sometimes used to construct counterexamples in topology/set theory. There is for example the Dowker's Example in topological dimension theory.