There are 1 repository under arduino-ports topic.
ESP8266 Arduino input-pins state change listener
Library for up to 1280X faster access to ATmega2560 digital pins 22-53 with Arduino bootloader