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

GUI clients

Mac

Github for Mac

Other Mac GUIs

Git command line

Windows

Github for Windows

Other Windows GUIs

Git command line (e.g. via cygwin)

Cross Platform (all of above Platforms)

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)