Tooling

Git/Github Source Code Control

12.18.2014: Github Client Security Vulnerability Announced - PLEASE UPDATE YOUR CLIENT SOFTWARE if on Window or Mac. Today there was a vulnerability identified and fixed in windows and mac git clients. The vulnerability has been fixed in most clients, including the Github for windows and Github for mac clients. If you are on Windows or Mac, please update your git clients immediately.

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)