itsy bitsy Mo Express and gpiozero

[Victorv]

I have Raspberry Pi 3+ and my High School students know how to use
https://gpiozero.readthedocs.io/en/stable/ to control ultrasound sensors,
PIR sensors, anode RGB Leds and PWM servos. Can the gpiozero be imported
into itsy bitsy Trinket MO Express or Circuit Playground Express? Or are
there CircuitPython libraries and a API basic recipe code to control
ultrasound sensors, PIR sensors, RGB LEDS or PWM Servos?

Thank you for
your time.