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
14,313

git-plus

Do git things without the terminal
akonwi
2,826,474

git-history

View previous versions of any file known to git.
jakesankey
90,251

git-blame

Toggle git-blame annotations in the gutter of atom editor.
alexcorre
279,488

git-diff-details

View git diffs directly in atom.
samu
75,000

git-time-machine

Visually interact with git commit history for a file
littlebee
423,340