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,708

git-plus

Do git things without the terminal
akonwi
2,855,754

git-history

View previous versions of any file known to git.
jakesankey
91,378

git-blame

Toggle git-blame annotations in the gutter of atom editor.
alexcorre
286,518

git-diff-details

View git diffs directly in atom.
samu
75,687

git-time-machine

Visually interact with git commit history for a file
littlebee
429,768