usb is an idris package that provides low level bindings to libusb-1.0 high level USB effects.
stjordanis / usb Goto Github PK
View Code? Open in Web Editor NEWThis project forked from idris-hackers/usb
libusb binding for idris and Effectful USB programming
License: BSD 2-Clause "Simplified" License