encoder/pulse counter

Hello everyone.

For my project I need to make a pulse counter (approx. 400/sec). The ideal solution seemed to be the “amperka/pc-interrupt” library, but after downloading it lights up red and when compiling it gives the error “xod/core/output-micros - is not found in the project” The second option was the “wayland/encoder” library
But it doesn’t want to compile either. In both cases there is information not to use it with other interrupts, but the problem persists even if I open it in a new empty project. Anyone have an idea?

Have you tried the built-in xod/gpio/rise-interrupt?