Teency IntervalTimer library for Arduino DUE & Arduino MKR1000

Hi everybody,

I am trying to modify a program (which was originally written for Teency microcontroller) in order to adapt it for Arduino DUE.
I need to modify the same program also for Arduino MKR1000, for another project.

My question is:

Is there a library for Arduino DUE (and a library for Arduino MKR1000) which works in the same way as the IntervalTimer library works on Teency?

Thank you very much for any suggestion!