Name		Name	Last commit message	Last commit date
app		app
src		src
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
Setup.hs		Setup.hs
cadet.cabal		cadet.cabal
main.c		main.c
print.c		print.c
print.h		print.h
stack.yaml		stack.yaml
usb.c		usb.c
usb.h		usb.h

Repository files navigation

cadet

Keyboard controller written in Ivory, an eDSL for safe systems programming.

About

Keyboard controller written in Ivory

haskell ivory keyboard

10 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages