GitHub repository: orionrobots/Adafruit_CircuitPython_HCSR04
Description: CircuitPython library for controlling HC-SR04 ultrasonic range sensors