This is a collection of some programming tools.
Here are some design docs I found worthwhile to share.