Wasn't aware of those ones, thanks. It's a shame they're not even in the top 100 by volume.
If you look at the five biggest coins by market cap (excluding USDT which is just digital Dollar) then three of them use proof of stake, Cardano, Polkadato and Ripple. Ethereum is actively transitioning to proof of stake.
Bitcoin is the ONLY outlier. Though also the biggest market.