GitHub repository: mr-engin3er/micropython-pir
Description: PIR (Passive InfraRed) sensor driver for micropython