We’re using the Teensy 3.2, with Linux we get submillisecond accuracy with the emulated serial port but it can also present as HID device (keyboard, mouse, joystick). It also has plenty TTL IO ports, costs about 24€ and has several extension boards.
Edit: there’s also the Radboud ButtonBox