Bill Pugh's repositories
GAEN_Explorer
Sample iOS app for exploring the Google Apple Exposure Notification framework
Pyramid-of-Possibilities
For the Pyramid of Possibilities project for Burning Man
GAEN-Analytics
A tool to allow public health authorities that have deployed the ENX version of GAEN to access and analyze their ENPA and ENCV metrics.
AchillesApparatus
Software for the Achilles Apparatus
Adafruit-PN532
Arduino library for SPI and I2C access to the PN532 RFID/Near Field Communication chip
Adafruit_Lightship
Open Pixel Control server for Arduino Zero, WiFi Shield 101 and DotStar LEDs
Adafruit_VS1053_Library
This is a library for the Adafruit VS1053 Codec Breakout and Music Maker Shields
Adafruit_ZeroFFT
simple FFT for cortex m0
findbugs-maven-plugin
Maven Mojo Plug-In to generate reports based on the FindBugs Analyzer
gaen-risk-scoring
An open source set of guidelines around setting up GAEN risk scores.
InternetButton
Library for the Internet Button shield
marmoset.rwsims
Automatically exported from code.google.com/p/marmoset.rwsims
MessagesTableViewController
A messages UI for iPhone and iPad
microcontroller
various sketches for teensy and LED control
MMA8452_Accelerometer
Triple axis accelerometer MMA8452, I2C based with tap and orientation settings.
sheep-brain
The brains of the Sheep, running on an ESP32
SwiftAvroCore
An implemenation of Apache Avro in Swift 4
TANBot
Program that can solve right and non-right triangles when given three measures (angle or side) of a triangle.
the-omega-project
Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega Calculator" (text interface); the "Omega Test" for depedence analysis; the "Uniform Library" for code transformation; and the "Code generation" library for generating the transformed code. I am experimenting with tracking bugs with Lighthouse, but am not yet sure I've got it configure right --- see http://davew_haverford.lighthouseapp.com/projects/13658-the-omega-project/overview (if you can; if you can't, email davew@cs.haverford.edu).
Tsunami-Arduino-Serial-Library
Arduino Serial Control Library for Arduino