Second is portulacaria afra varieagata

1st - maybe Sedum tetractinum 'Coral Reef'?

First one looks like Cremnosedum ‘Little Gem’.

Sedum tetractinum 'Coral Reef' left, and Cremnosedum 'Little Gem' on right:

(photos from net)

Different growth habit, and shape and thickness of leaves. They both have yellow flowers, but there is a difference in inflorescence - may have to wait until it blooms to ID.

First one looks like a Sedum makinoi 'Ogon' or it's hybrid.

https://www.facebook.com/thedefiantforest/videos/417802951989938/

Sedum makinoi 'ogun.' Sold in flats here in the bbs.