I want to learn the Pico-8 infrastructure and try my hand at developing games and other applications for the system.

Welcome! A pretty good place to start is with these tutorials: https://www.youtube.com/watch?v=J1wvvbVQ5zo