paul david
Results
3
repositories owned by
paul david
debounce-mac
153
Stars
28
Forks
Watchers
Frustrated that OS X doesn't have a simple software keyboard debouncer. Here's my hack.
Spotiqueue
81
Stars
2
Forks
Watchers
Dead-simple queue-oriented client for Spotify
reflection-proofs
26
Stars
3
Forks
Watchers
Playing around with reflection in Agda. Since version 2.2.8 we have simple quoting and unquoting, and it turns out you can do some pretty cool shit.