from machine import Pin
import time
import tm1637
# ESP32 GPIO pins
CLK = 14
DIO = 15
tm = tm1637.TM1637(clk=Pin(CLK), dio=Pin(DIO))
tm.brightness(7) # 0..7
t0 = time.ticks_ms()
value = 0
while True:
if time.ticks_diff(time.ticks_ms(), t0) >= 500:
t0 = time.ticks_ms()
tm.show(' ') # clear display
tm.number(value) # leading spaces 4-digit display
value = (value + 1) % 10000