Yes, IRCTC is an Indian company under the direct control of the state, although, since 2019, its shares have been traded on the exchange.