Non-Mike-specific.
-rw-r--r-- 3 .gitignore
-rw-r--r-- 35232 LICENSE
-rw-r--r-- 614 Makefile
-rw-r--r-- 1076 README
drwxr-xr-x - doc
drwxr-xr-x - examples
drwxr-xr-x - notes
drwxr-xr-x - src
drwxr-xr-x - test
drwxr-xr-x - tools