Tooling

Git/Github Source Code Control

Git is a distributed source code control system, and github provides a set of services to create, use, and manage git repositories.

It's possible to use Github's web interface to create, edit, commit/push text files and directories, as well as create and switch branches. This can become cumbersome, however

There are a variety of both command-line and gui clients for git, for most operating systems. Below are listed some links to commonly used tools.

Linux

Git command line

Linux GUI clients

Mac

Github for Mac

Other Mac GUIs

Windows

Github for Windows

Other Windows GUIs

Cross Platform (all of above)

Eclipse IDE (embedded git client as IDE plugin)

LaTex

LaTex is a commonly-used document editing system.

LaTex Project

Comparison of Tex Editors (with links to editor software)