All I see is a string property called Description which simply returns a generated string of the hardware index, and axis/button count. "Joystick/Joystick #0 (7 axes, 10 buttons)" is usable, but not very informative.
Other SDL-based libraries show the actual name of the device. Is this possible in OpenTK? If not, is it going to be added soon?