These coins have all launched. You can buy and sell Manna already on exchanges for example. A few of the other coins are in the Pre-ICO or are currently in the ICO stage. Some are post-ICO but are trying to get their name out and are actively in negotiations to join crypto exchanges