idris-hackers / usb Public

Notifications You must be signed in to change notification settings
Fork 4
Star 11

libusb binding for idris and Effectful USB programming

BSD-2-Clause license

11 stars 4 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
src		src
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
usb.ipkg		usb.ipkg

Repository files navigation

usb

usb is an idris package that provides low level bindings to libusb-1.0 high level USB effects.

About

libusb binding for idris and Effectful USB programming

BSD-2-Clause license

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Languages

C 100.0%