leeorengel

Packages 0

No packages… yet.

Themes 0

No themes… yet.

Stars 11 See all

language-idris

A plugin for developing with Idris
idris-hackers
15,060

git-plus

Do git things without the terminal
akonwi
2,884,011

git-history

View previous versions of any file known to git.
jakesankey
92,446

git-blame

Toggle git-blame annotations in the gutter of atom editor.
alexcorre
292,725

git-diff-details

View git diffs directly in atom.
samu
76,302

git-time-machine

Visually interact with git commit history for a file
littlebee
434,808