Dave Doolin's repositories
autotoolerpp
Template for c++11 projects. Clone, sed and go. Include automatic library construction and test code framework.
callbacker
A place for callbacks
docker-lean4
Ubuntu base docker images of lean4 theorem prover
MIT000
functions-framework-ruby
FaaS (Function as a service) framework for writing portable Ruby functions
kestrels-and-quirky-birds
combinators
octokit.rb
Ruby toolkit for the GitHub API
MIT000
Language:C++000
questions-for-employers
A big collection of useful questions to ask potential employers.
000
runbook
A framework for gradual system automation
MIT000
scripts-to-rule-them-all
Set of boilerplate scripts describing the normalized script pattern that GitHub uses in its projects.
CC0-1.0000
teach.github.com
The open source teaching materials site for Git and GitHub technologies