Pinned Repositories
branch-notes
Work on a task branch and open notes for it simply by calling `branch-notes open`.
capdl
Capability Distribution Language tools for seL4
docs
This is the source of the seL4 docs.
gymcoachbob
Sources for the gymcoachbob Android app
kitty
A cross-platform, fast, feature full, GPU based terminal emulator
notification-listener-service-example
This example teaches you how to intercept Android notifications using a built-in service called NotificationListenerService
paperless
Scan, index, and archive all of your paper documents
Pre-commit-hooks
A set of useful (and documented!) git pre-commit hooks.
pygatt
Python wrapper for gatttool (from BlueZ) and the BGAPI for access Bluetooth LE Devices
ddddavidmartin's Repositories
ddddavidmartin/Pre-commit-hooks
A set of useful (and documented!) git pre-commit hooks.
ddddavidmartin/branch-notes
Work on a task branch and open notes for it simply by calling `branch-notes open`.
ddddavidmartin/capdl
Capability Distribution Language tools for seL4
ddddavidmartin/docs
This is the source of the seL4 docs.
ddddavidmartin/gymcoachbob
Sources for the gymcoachbob Android app
ddddavidmartin/kitty
A cross-platform, fast, feature full, GPU based terminal emulator
ddddavidmartin/notification-listener-service-example
This example teaches you how to intercept Android notifications using a built-in service called NotificationListenerService
ddddavidmartin/paperless
Scan, index, and archive all of your paper documents
ddddavidmartin/pygatt
Python wrapper for gatttool (from BlueZ) and the BGAPI for access Bluetooth LE Devices
ddddavidmartin/pyocr
A Python wrapper for Tesseract and Cuneiform
ddddavidmartin/python_loop_movies
Play movies in a loop
ddddavidmartin/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
ddddavidmartin/sel4-tutorials
Tutorials for working with seL4 and/or CAmkES.