Miscellaneous resources

Additional resources, often contributed by others to this website