Some math-related GitHub gists.