ddddavidmartin

David Martin's repositories

A set of useful (and documented!) git pre-commit hooks.

Language:ShellBSD-2-Clause101 7 2

Work on a task branch and open notes for it simply by calling `branch-notes open`.

Language:PythonMIT020

Capability Distribution Language tools for seL4

Language:Haskell010

This is the source of the seL4 docs.

Language:CBSD-2-Clause010

Sources for the gymcoachbob Android app

Language:JavaMIT020

A cross-platform, fast, feature full, GPU based terminal emulator

Language:CGPL-3.0020

This example teaches you how to intercept Android notifications using a built-in service called NotificationListenerService

Language:JavaMIT010

Scan, index, and archive all of your paper documents

Language:CSSGPL-3.0020

Python wrapper for gatttool (from BlueZ) and the BGAPI for access Bluetooth LE Devices

Language:PythonNOASSERTION020

A Python wrapper for Tesseract and Cuneiform

Language:PythonGPL-3.0020

Play movies in a loop

Language:Python000

Open-source keyboard firmware for Atmel AVR and Arm USB families

GPL-2.0000

Tutorials for working with seL4 and/or CAmkES.

NOASSERTION000