cadet

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

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
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

Navigation Menu