Man pages matching name tokei in section 1:

tokei.1.en

debian 13 / tokei